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 <makarius@sketis.net>
* 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.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Dec 07 2024 at 16:22 UTC