Tue, 18 May 2021 21:09:51 +0200 | wenzelm | show symbols in Isabelle/ML instead of perl; | file | diff | annotate |
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 | base |