Tue, 18 May 2021 15:17:55 +0200 | wenzelm | option document_logo; | file | diff | annotate |
Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
Fri, 11 Apr 2014 12:40:12 +0200 | wenzelm | more formal dependencies via 'document_files'; | file | diff | annotate |
Tue, 08 Apr 2014 12:46:38 +0200 | haftmann | even more standardized doc session names after #b266e7a86485 | file | diff | annotate |
Sat, 05 Apr 2014 11:37:00 +0200 | haftmann | closer correspondence of document and session names, while maintaining document names for external reference | file | diff | annotate |
Sat, 21 Sep 2013 17:20:08 +0200 | wenzelm | clarified logo; | file | diff | annotate |
Sat, 21 Sep 2013 13:05:54 +0200 | wenzelm | basic setup for Isabelle/jEdit documentation; | file | diff | annotate |