| Fri, 27 Apr 2012 20:57:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 27 Apr 2012 15:59:50 +0200 |
wenzelm |
some updates on classic README, reduce the impression that there is much to install manually;
|
file |
diff |
annotate
|
| Wed, 25 Apr 2012 14:24:27 +0200 |
wenzelm |
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 12:46:45 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 15:30:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 20:49:45 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
| Sun, 16 Jan 2011 21:05:10 +0100 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
| Wed, 12 Jan 2011 16:41:49 +0100 |
wenzelm |
updated to ProofGeneral-4.x;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 18:41:55 +0200 |
wenzelm |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
file |
diff |
annotate
|
| 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
|