| Mon, 29 Feb 2016 15:39:17 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 15:23:13 +0100 |
wenzelm |
clarified ML heap operations;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 21:25:55 +0100 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 21:20:51 +0100 |
wenzelm |
support only polyml-5.3.0 and polyml-5.6;
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:20:12 +0100 |
wenzelm |
support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
|
file |
diff |
annotate
|
| Thu, 18 Feb 2016 23:10:28 +0100 |
wenzelm |
unconditional Multithreading;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:15:47 +0100 |
wenzelm |
clarified file names;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2016 10:20:33 +0100 |
wenzelm |
clarified ROOT files;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2015 23:13:16 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2015 23:09:13 +0100 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2015 23:10:08 +0100 |
wenzelm |
discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;
|
file |
diff |
annotate
|
| Fri, 20 Nov 2015 21:52:05 +0100 |
wenzelm |
speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2015 11:27:55 +0100 |
haftmann |
leftover from 27ca6147e3b3
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 21:31:14 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 17:24:21 +0200 |
wenzelm |
minimal support for Markdown documents;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2015 20:37:59 +0200 |
wenzelm |
moved remaining display.ML to more_thm.ML;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 21:14:58 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2015 23:45:12 +0200 |
wenzelm |
basic setup for native Windows (RAW session without image);
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 21:38:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 22:17:19 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 16:43:53 +0200 |
wenzelm |
clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 14:40:23 +0200 |
wenzelm |
additional ML parse tree components for Poly/ML 5.5.3, or later;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 11:10:57 +0200 |
wenzelm |
ML debugger interface;
|
file |
diff |
annotate
|
| Thu, 02 Jul 2015 12:39:08 +0200 |
wenzelm |
clarified module;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 22:08:06 +0200 |
wenzelm |
added command 'experiment';
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 11:30:54 +0100 |
wenzelm |
tuned protocol -- resolve command positions in ML;
|
file |
diff |
annotate
|
| Thu, 29 Jan 2015 16:16:01 +0100 |
wenzelm |
tuned bootstrap;
|
file |
diff |
annotate
|
| Mon, 22 Dec 2014 14:33:53 +0100 |
wenzelm |
separate module Random;
|
file |
diff |
annotate
|