2016-03-10 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
2014-04-11 | wenzelm | more formal dependencies via 'document_files'; | file | diff | annotate |
2013-09-10 | wenzelm | more portable hash-bang; | file | diff | annotate |
2012-12-07 | wenzelm | eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); | file | diff | annotate |
2012-09-03 | wenzelm | "isabelle logo" produces EPS and PDF format simultaneously; | file | diff | annotate |
2012-08-28 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |