| Sun, 01 May 2011 16:36:34 +0200 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| Sun, 07 Nov 2010 23:32:26 +0100 |
wenzelm |
tweaked pdf setup to allow modification of \pdfminorversion;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2009 18:33:55 +0100 |
ballarin |
Use less whitespace in documentation.
|
file |
diff |
annotate
|
| Sat, 21 Nov 2009 18:25:53 +0100 |
ballarin |
Publication details and minor correction of the text.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 22:58:18 +0200 |
ballarin |
Finished revisions of locales tutorial.
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 22:07:18 +0200 |
ballarin |
Save current state of locales tutorial.
|
file |
diff |
annotate
|
| 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
|