Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Session ROOT files support 'chapter_...

view this post on Zulip Email Gateway (Aug 27 2022 at 20:11):

From: Makarius <>
* General *

This refers to Isabelle/a9bbf075f431, and AFP/64cf94d5181c provides the
following example in thys/ROOT:

chapter_definition AFP (AFP)
description "
Archive of Formal Proofs

Thus AFP ROOT files can do away with the slightly odd redundancy of "chapter
AFP session NAME (AFP) ...".

I did not change anything, though, because I reckon that AFP submission tools
and documentation need to be adjusted as well.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC