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

On 01/02/2021 15:45, Makarius wrote:

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

* IDE support for Naproche-SAD: Proof Checking of Natural Mathematical
Documents. See also $NAPROCHE_HOME/examples for files with .ftl or
.ftl.tex extension.

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.)


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.