Sat, 28 Mar 2009 21:07:04 +0100 | ballarin | Front matter updated. | file | diff | annotate |
Mon, 19 Jan 2009 20:37:08 +0100 | ballarin | Fixed tutorial to compile with new locales; grammar of new locale commands. | file | diff | annotate |
Wed, 04 Jun 2008 17:12:00 +0200 | wenzelm | tikz: change to pgfsys-dvi.def for plain dvi output; | file | diff | annotate |
Wed, 04 Jun 2008 16:32:14 +0200 | wenzelm | work within *this* directory; | file | diff | annotate |
Tue, 03 Jun 2008 14:32:37 +0200 | wenzelm | use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway); | file | diff | annotate |
Tue, 03 Jun 2008 12:34:22 +0200 | ballarin | New version covering interpretation. | file | diff | annotate |
Thu, 15 May 2008 20:02:42 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
Fri, 16 Apr 2004 11:35:44 +0200 | ballarin | Added Locales Tutorial. | file | diff | annotate |