| Mon, 20 Jul 2009 20:03:19 +0200 |
removed obsolete CVS Ids;
|
file | diff | annotate |
| Thu, 26 Feb 2009 20:03:32 +0100 |
\bibliographystyle{abbrv} for newer ref manuals;
|
file | diff | annotate |
| Sun, 30 Nov 2008 14:03:46 +0100 |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file | diff | annotate |
| Tue, 18 Nov 2008 18:25:10 +0100 |
moved table of standard Isabelle symbols to isar-ref manual;
|
file | diff | annotate |
| Mon, 15 Sep 2008 20:51:58 +0200 |
converted symbols.tex;
|
file | diff | annotate |
| Mon, 15 Sep 2008 20:22:38 +0200 |
converted misc.tex;
|
file | diff | annotate |
| Mon, 15 Sep 2008 19:42:22 +0200 |
converted present.tex;
|
file | diff | annotate |
| Mon, 15 Sep 2008 16:50:35 +0200 |
load underscore package after iman etc.;
|
file | diff | annotate |
| Mon, 15 Sep 2008 16:42:09 +0200 |
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
|
file | diff | annotate |
| Thu, 17 Jul 2008 20:05:19 +0200 |
use ../isabelle.sty and ../isabellesym.sty;
|
file | diff | annotate |
| Sat, 03 May 2003 13:31:07 +0200 |
fix for new \isasymeuro
|
file | diff | annotate |
| Tue, 11 Dec 2001 15:58:32 +0100 |
tuned;
|
file | diff | annotate |
| Tue, 11 Dec 2001 15:36:28 +0100 |
updated;
|
file | diff | annotate |
| Tue, 04 Dec 2001 01:59:49 +0100 |
\usepackage{textcomp}, \usepackage{marvosym};
|
file | diff | annotate |
| Wed, 24 Jan 2001 20:56:12 +0100 |
more symbols;
|
file | diff | annotate |
| Fri, 15 Dec 2000 17:59:05 +0100 |
restore \int (integral);
|
file | diff | annotate |
| Mon, 04 Dec 2000 23:16:25 +0100 |
include table of Isabelle standard symbols;
|
file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 |
improved indexing;
|
file | diff | annotate |
| Mon, 18 Oct 1999 19:43:18 +0200 |
tuned;
|
file | diff | annotate |
| Wed, 13 Oct 1999 19:39:19 +0200 |
updated;
|
file | diff | annotate |
| Tue, 12 Oct 1999 19:14:06 +0200 |
a4paper;
|
file | diff | annotate |
| Wed, 18 Aug 1999 17:15:51 +0200 |
tuned;
|
file | diff | annotate |
| Mon, 16 Aug 1999 14:22:20 +0200 |
bib;
|
file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 |
pdf setup;
|
file | diff | annotate |
| Tue, 21 Jul 1998 16:41:12 +0200 |
fixed isabelle logo;
|
file | diff | annotate |
| Tue, 21 Jul 1998 08:54:09 +0200 |
fixed isabelle logo;
|
file | diff | annotate |
| Mon, 20 Jul 1998 19:06:39 +0200 |
added pdfsetup and isabelle logo;
|
file | diff | annotate |
| Mon, 12 Jan 1998 13:32:47 +0100 |
fixed author;
|
file | diff | annotate |
| Thu, 08 Jan 1998 18:25:36 +0100 |
updated to Isabelle98;
|
file | diff | annotate |
| Tue, 30 Sep 1997 17:32:33 +0200 |
Removed "browse.tex".
|
file | diff | annotate |
| Mon, 22 Sep 1997 17:37:48 +0200 |
acks;
|
file | diff | annotate |
| Thu, 22 May 1997 10:34:23 +0200 |
fixed packages;
|
file | diff | annotate |
| Wed, 21 May 1997 17:11:46 +0200 |
release version (sort of);
|
file | diff | annotate |
| Tue, 20 May 1997 19:34:24 +0200 |
under construction;
|
file | diff | annotate |
| Fri, 16 May 1997 15:57:11 +0200 |
still under construction!
|
file | diff | annotate |
| Wed, 14 May 1997 19:27:21 +0200 |
preliminary!
|
file | diff | annotate |
| Mon, 12 May 1997 18:34:49 +0200 |
*** empty log message ***
|
file | diff | annotate |
| Mon, 12 May 1997 18:26:53 +0200 |
The Isabelle System Manual;
|
file | diff | annotate |