| Tue, 31 May 2011 22:15:39 +0200 | wenzelm | turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex); | file | diff | annotate |
| Mon, 02 May 2011 22:00:38 +0200 | wenzelm | just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure; | file | diff | annotate |
| Mon, 02 May 2011 17:28:09 +0200 | wenzelm | eliminated obsolete rail macros; | file | diff | annotate |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Thu, 02 Dec 2010 23:09:54 +0100 | wenzelm | isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead; | file | diff | annotate |
| Wed, 18 Mar 2009 11:57:28 +0100 | haftmann | tuned interpunctation | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |