| Wed, 07 May 2003 22:07:33 +0200 | ballarin | Small changes for release Isabelle 2003. | file | diff | annotate |
| Mon, 05 May 2003 10:53:27 +0200 | ballarin | Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks). | file | diff | annotate |
| Fri, 02 May 2003 20:02:50 +0200 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | file | diff | annotate |