[isabelle-dev] NEWS: generated code as proper theory export
makarius at sketis.net
Mon Feb 4 17:41:09 CET 2019
On 01/02/2019 15:30, Lars Hupel wrote:
> – Sturm_Sequences produces some extra LaTeX documentation. The generated
> PDF is even committed to the AFP.
>> * no generated files in the repository (these are not sources but
>> results from sources)
date: Mon Feb 04 16:42:52 2019 +0100
proper Isabelle document setup, without generated files in the repository;
It means that the document will also show up in the generated HTML,
similar to the userguide in AFP/Collections.
More information about the isabelle-dev