Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 11:59:03 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:20:12 +0100 |
wenzelm |
support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 23:28:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 23 Jun 2013 18:11:38 +0200 |
wenzelm |
ML pretty printer for proof terms, with specifica treatment of infix application (similar to terms);
|
file |
diff |
annotate
|
Sun, 23 Jun 2013 17:14:20 +0200 |
wenzelm |
actually observe print_depth for outer term structure;
|
file |
diff |
annotate
|
Wed, 16 Jan 2013 11:31:08 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Thu, 24 May 2012 15:54:38 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
Thu, 24 May 2012 15:33:45 +0200 |
wenzelm |
simplified Poly/ML setup -- 5.3.0 is now the common base-line;
|
file |
diff |
annotate
| base
|
Mon, 11 Jul 2011 22:55:47 +0200 |
wenzelm |
tuned signature -- corresponding to Scala version;
|
file |
diff |
annotate
|
Wed, 11 Aug 2010 13:39:36 +0200 |
wenzelm |
more precise and more maintainable dependencies;
|
file |
diff |
annotate
| base
|