| Mon, 15 Sep 2008 16:50:35 +0200 | wenzelm | load underscore package after iman etc.; | file | diff | annotate |
| Mon, 15 Sep 2008 16:42:09 +0200 | wenzelm | basic setup for generated document sources (cf. IsarRef/isar-ref.tex); | file | diff | annotate |
| Thu, 17 Jul 2008 20:05:19 +0200 | wenzelm | use ../isabelle.sty and ../isabellesym.sty; | file | diff | annotate |