| Sun, 17 May 2015 23:03:49 +0200 | wenzelm | added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository; | file | diff | annotate |
| Sat, 05 Apr 2014 19:16:44 +0200 | wenzelm | tuned -- just one qualification of sections ("!"); | file | diff | annotate |
| Sat, 05 Apr 2014 18:52:03 +0200 | wenzelm | explicit indication of important doc sections ("!"), which are expanded in the tree view; | file | diff | annotate |
| Sat, 21 Sep 2013 13:05:54 +0200 | wenzelm | basic setup for Isabelle/jEdit documentation; | file | diff | annotate |
| Tue, 30 Jul 2013 16:22:39 +0200 | blanchet | sketched documentation for new (co)datatype package | file | diff | annotate |
| Sun, 07 Jul 2013 20:23:09 +0200 | wenzelm | reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; | file | diff | annotate |
| Tue, 18 Jun 2013 15:31:52 +0200 | wenzelm | eliminated old "ref" manual; | file | diff | annotate |