Sun, 28 Nov 2010 14:01:20 +0100 |
wenzelm |
updated versions;
|
file |
diff |
annotate
|
Sun, 28 Nov 2010 13:55:19 +0100 |
wenzelm |
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
|
file |
diff |
annotate
|
Thu, 24 Jun 2010 13:31:26 +0200 |
wenzelm |
notes on packaging;
|
file |
diff |
annotate
|
Wed, 09 Jun 2010 14:08:08 +0200 |
wenzelm |
removed outdated/confusing INSTALL file;
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 15:38:27 +0200 |
wenzelm |
actually test smlnj;
|
file |
diff |
annotate
|
Fri, 28 May 2010 15:17:17 +0200 |
wenzelm |
lib/Tools/makeall does not hardiwre logics;
|
file |
diff |
annotate
|
Fri, 28 May 2010 11:37:38 +0200 |
wenzelm |
discontinued Sun/Solaris tests;
|
file |
diff |
annotate
|
Wed, 12 May 2010 14:02:19 +0200 |
wenzelm |
check NEWS;
|
file |
diff |
annotate
|
Wed, 12 May 2010 13:52:34 +0200 |
wenzelm |
updated some version numbers;
|
file |
diff |
annotate
|
Sat, 21 Nov 2009 20:44:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 31 May 2009 14:15:07 +0200 |
wenzelm |
discontinued support for Poly/ML 4.x versions;
|
file |
diff |
annotate
|
Tue, 14 Apr 2009 12:27:18 +0200 |
wenzelm |
misc updates for Isabelle2009;
|
file |
diff |
annotate
|
Thu, 02 Apr 2009 14:30:16 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
Sun, 01 Mar 2009 16:48:06 +0100 |
wenzelm |
discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
|
file |
diff |
annotate
|
Wed, 03 Dec 2008 21:15:46 +0100 |
wenzelm |
eliminated traces of old Distribution directory;
|
file |
diff |
annotate
|