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)
See now changeset: 10104:394951259923 user: wenzelm date: Mon Feb 04 16:42:52 2019 +0100 files: thys/Sturm_Sequences/ROOT thys/Sturm_Sequences/document/build thys/Sturm_Sequences/document/root_userguide.tex thys/Sturm_Sequences/guide/Makefile thys/Sturm_Sequences/guide/guide.pdf thys/Sturm_Sequences/guide/guide.tex thys/Sturm_Sequences/guide/isabelle.eps thys/Sturm_Sequences/guide/isabelle.pdf description: 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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev