| Tue, 07 Feb 2012 18:51:22 +0100 |
wenzelm |
updated examples for syntax translations;
|
file |
diff |
annotate
|
| Thu, 26 Jan 2012 22:16:45 +0100 |
wenzelm |
updated "Control and search tacticals" (moved from ref to implementation);
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 19:13:48 +0200 |
wenzelm |
removed odd remains of low-level session management;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 19:08:46 +0200 |
wenzelm |
moved incr_boundvars;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 13:48:17 +0100 |
wenzelm |
removed parts of the manual that are clearly obsolete, or covered by
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 20:09:14 +0100 |
wenzelm |
more explicit indication of old manuals;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2003 17:44:42 +0200 |
paulson |
reformatting change and mention of Introduction to Isabelle
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Fri, 26 May 2000 11:18:06 +0200 |
paulson |
updated acknowledgements
|
file |
diff |
annotate
|
| Mon, 08 May 2000 11:13:28 +0200 |
wenzelm |
improved indexing;
|
file |
diff |
annotate
|
| Tue, 12 Oct 1999 19:14:06 +0200 |
wenzelm |
a4paper;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 16:35:22 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 15:16:49 +0200 |
wenzelm |
pdf setup;
|
file |
diff |
annotate
|
| Wed, 05 May 1999 16:44:42 +0200 |
paulson |
Now uses manual.bib; some references updated
|
file |
diff |
annotate
|
| Tue, 04 May 1999 11:31:29 +0200 |
wenzelm |
oops;
|
file |
diff |
annotate
|
| Tue, 04 May 1999 11:27:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 May 1999 18:35:48 +0200 |
wenzelm |
theory loader stuff updated and improved;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 16:41:12 +0200 |
wenzelm |
fixed isabelle logo;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 08:54:09 +0200 |
wenzelm |
fixed isabelle logo;
|
file |
diff |
annotate
|
| Mon, 20 Jul 1998 19:06:39 +0200 |
wenzelm |
added pdfsetup and isabelle logo;
|
file |
diff |
annotate
|
| Mon, 08 Dec 1997 13:57:19 +0100 |
paulson |
Tidying to fix overfull lines, etc
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 11:53:42 +0200 |
nipkow |
\label{simp-chap} -> chap:simplification
|
file |
diff |
annotate
|
| Thu, 22 May 1997 10:34:23 +0200 |
wenzelm |
fixed packages;
|
file |
diff |
annotate
|
| Mon, 19 May 1997 15:22:21 +0200 |
paulson |
Section numbers may now be nested three deep, as in 1.2.3
|
file |
diff |
annotate
|
| Wed, 07 May 1997 16:29:06 +0200 |
paulson |
New acknowledgements; fixed overfull lines and tables
|
file |
diff |
annotate
|
| Tue, 06 May 1997 12:50:16 +0200 |
wenzelm |
misc updates, tuning, cleanup;
|
file |
diff |
annotate
|
| Fri, 02 May 1997 16:41:35 +0200 |
berghofe |
Updated to LaTeX 2e
|
file |
diff |
annotate
|
| Thu, 17 Apr 1997 18:16:12 +0200 |
paulson |
Removed the \date{} command in order to put the date of typesetting on the
|
file |
diff |
annotate
|