| Wed, 09 Jun 2010 14:08:08 +0200 |
wenzelm |
removed outdated/confusing INSTALL file;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 11:23:34 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
| Wed, 12 May 2010 13:52:34 +0200 |
wenzelm |
updated some version numbers;
|
file |
diff |
annotate
|
| Sun, 22 Nov 2009 14:13:18 +0100 |
wenzelm |
misc tuning and updates for official release;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2009 15:53:13 +0200 |
wenzelm |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 20:03:08 +0200 |
wenzelm |
misc tuning for Isabelle2009;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 14:30:16 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Thu, 17 Jul 2008 21:22:44 +0200 |
wenzelm |
tuned line breaks (NB: generated text is inserted here);
|
file |
diff |
annotate
|
| Thu, 05 Jun 2008 12:03:48 +0200 |
haftmann |
adjusted location of cambridge website
|
file |
diff |
annotate
|
| Wed, 28 May 2008 22:54:05 +0200 |
wenzelm |
tuned version numbers;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2007 13:55:13 +0100 |
wenzelm |
updated Proof General advertisement;
|
file |
diff |
annotate
|
| Mon, 12 Nov 2007 23:08:12 +0100 |
wenzelm |
removed left-over text links from lynx conversion;
|
file |
diff |
annotate
|
| Sat, 27 Oct 2007 12:48:44 +0200 |
haftmann |
ASCIIfied README
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 13:04:04 +0100 |
paulson |
Updated instructions
|
file |
diff |
annotate
|
| Thu, 21 Nov 1996 15:12:39 +0100 |
paulson |
Further comments on versions of SML/NJ
|
file |
diff |
annotate
|