| Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 14:03:06 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 11:12:02 +0100 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
| Wed, 02 Mar 2016 19:43:31 +0100 |
wenzelm |
support for ML_exception_debugger;
|
file |
diff |
annotate
|
| Tue, 01 Mar 2016 22:11:36 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 01 Mar 2016 21:10:29 +0100 |
wenzelm |
load secure.ML earlier;
|
file |
diff |
annotate
|
| Tue, 01 Mar 2016 19:42:59 +0100 |
wenzelm |
ML debugger support in Pure (again, see 3565c9f407ec);
|
file |
diff |
annotate
|
| 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
|