| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Wed, 06 May 2009 16:01:07 +0200 | haftmann | adaptation replaces adaption | file | diff | annotate |
| Tue, 07 Apr 2009 21:24:39 +0200 | wenzelm | moved generated eps/pdf to main directory, for proper display in dvi; | file | diff | annotate |
| Thu, 26 Mar 2009 13:01:09 +0100 | haftmann | step towards proper pictures in dvi | file | diff | annotate |
| Tue, 03 Mar 2009 11:00:51 +0100 | haftmann | more canonical directory structure of manuals | file | diff | annotate | base |