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



On 01/02/2021 15:45, Makarius wrote:
> https://isabelle.sketis.net/website-Isabelle2021-RC4.

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


	Makarius




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