| Sun, 02 Nov 2014 16:09:35 +0100 |
wenzelm |
more flexibile \setisabellecontext, independently of header;
|
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
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 17:40:56 +0200 |
wenzelm |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 21:34:20 +0200 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Tue, 29 Jun 2004 11:18:34 +0200 |
kleing |
license change to BSD
|
file |
diff |
annotate
|
| Sun, 20 Jun 2004 09:26:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 18 Jun 2004 20:07:59 +0200 |
wenzelm |
more generous treatment of packages in draft prints;
|
file |
diff |
annotate
|
| Fri, 18 Jun 2004 00:32:54 +0200 |
aspinall |
Add \usepackage{latexsym}
|
file |
diff |
annotate
|
| Sun, 13 Jun 2004 15:31:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Jun 2004 22:47:35 +0200 |
wenzelm |
root for draft documents;
|
file |
diff |
annotate
|