| Mon, 05 May 2003 13:52:19 +0200 | kleing | fixed \<0>..\<9> (-> \<zero>..\<nine>) | changeset | files |
| Mon, 05 May 2003 13:42:16 +0200 | kleing | document preparation tuning | changeset | files |
| Mon, 05 May 2003 10:53:27 +0200 | ballarin | Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks). | changeset | files |
| Sat, 03 May 2003 13:31:07 +0200 | kleing | fix for new \isasymeuro | changeset | files |
| Fri, 02 May 2003 20:06:59 +0200 | ballarin | File for document preparation. | changeset | files |
| Fri, 02 May 2003 20:02:50 +0200 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | changeset | files |
| Fri, 02 May 2003 16:43:36 +0200 | kleing | reduced package dependencies, | changeset | files |