doc-src/Locales/Locales/document/root.tex
Wed, 04 Jun 2008 17:12:00 +0200 wenzelm tikz: change to pgfsys-dvi.def for plain dvi output;
Wed, 04 Jun 2008 16:32:14 +0200 wenzelm work within *this* directory;
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);
Tue, 03 Jun 2008 12:34:22 +0200 ballarin New version covering interpretation.
Thu, 15 May 2008 20:02:42 +0200 wenzelm use Isabelle sty files from Doc/;
Fri, 16 Apr 2004 11:35:44 +0200 ballarin Added Locales Tutorial.
less more (0) tip