| Fri, 27 Jun 2014 15:24:56 +0200 |
wenzelm |
minor renovation of slightly odd and old README;
|
file |
diff |
annotate
|
| Tue, 22 Mar 2011 18:27:47 +0100 |
blanchet |
remove lie from documentation
|
file |
diff |
annotate
|
| Thu, 09 Jul 2009 22:13:19 +0200 |
wenzelm |
removed obsolete CVS 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
|
| Wed, 26 Mar 2008 21:05:58 +0100 |
huffman |
fix spelling errors
|
file |
diff |
annotate
|
| Mon, 07 Mar 2005 19:17:07 +0100 |
webertj |
HTML 4.01 Transitional conformity
|
file |
diff |
annotate
|
| Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
| Wed, 25 Oct 2000 18:33:40 +0200 |
wenzelm |
add \<le> to list of "good" symbols;
|
file |
diff |
annotate
|
| Fri, 20 Oct 2000 13:15:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 18 Oct 2000 23:31:16 +0200 |
wenzelm |
"The Supplemental Isabelle/HOL Library";
|
file |
diff |
annotate
|