Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC4: bundling of Naproche-SAD

view this post on Zulip Email Gateway (Feb 01 2021 at 14:51):

From: Makarius <>
Isabelle2021-RC3 already had the subsequent NEWS item, but in Isabelle2021-RC4
the bundled component is actually present:

The Documentation panel has an entry referring to $ISABELLE_NAPROCHE/Ex.thy
with some further explanations and links to example files and directories.

(These texts are subject to further refinement, as well as the implementation
/ integration of Naproche-SAD.)


Last updated: Jan 25 2022 at 01:11 UTC