| Mon, 02 May 2011 22:31:46 +0200 |
wenzelm |
eliminated old CVS Ids;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:43:06 +0200 |
wenzelm |
removed obsolete rail setup;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:12:11 +0200 |
wenzelm |
removed obsolete rail diagram (which was about old-style theory syntax);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:55:29 +0200 |
wenzelm |
include static rail files for old manuals, to make standard make job independent of the "rail" executable;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 16:36:34 +0200 |
wenzelm |
eliminated copies of isabelle style files;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:14:10 +0200 |
wenzelm |
use Isabelle sty files from Doc/;
|
file |
diff |
annotate
|
| Wed, 20 Aug 2003 13:34:17 +0200 |
paulson |
final tweaks for Isar version
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Mon, 08 May 2000 11:13:28 +0200 |
wenzelm |
improved indexing;
|
file |
diff |
annotate
|
| Tue, 18 May 1999 12:34:42 +0200 |
paulson |
../manual.bib a new dependency
|
file |
diff |
annotate
|
| Mon, 10 May 1999 17:44:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Wed, 05 May 1999 18:13:56 +0200 |
wenzelm |
improved Makefile;
|
file |
diff |
annotate
|
| Tue, 04 May 1999 17:59:55 +0200 |
wenzelm |
isabelle_zf image;
|
file |
diff |
annotate
|
| Wed, 13 Jan 1999 16:36:36 +0100 |
paulson |
the separate FOL and ZF logics manual, with new material on datatypes and
|
file |
diff |
annotate
|