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

Makarius


Last updated: Dec 05 2021 at 22:18 UTC