| Mon, 30 Jul 2012 17:37:34 +0200 | wenzelm | regenerate ToyList2/ToyList.thy during raw make *after* session build, to ensure that it is updated sporadically (NB: isabelle build does not support generated sources); | file | diff | annotate |
| Thu, 26 Jul 2012 18:55:42 +0200 | wenzelm | recovered latex job; | file | diff | annotate |
| Mon, 02 May 2011 22:31:46 +0200 | wenzelm | eliminated old CVS Ids; | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Wed, 17 Jun 2009 10:07:22 +0200 | haftmann | more precise dependencies | file | diff | annotate |
| Thu, 15 May 2008 20:14:10 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Mon, 23 Jul 2007 14:36:37 +0200 | berghofe | Replaced "hand-made" LaTeX code in Protocol/protocol.tex by | file | diff | annotate |