| Mon, 08 Apr 2013 16:06:54 +0200 |
wenzelm |
more defensive representation of forced break within PolyML.PrettyBreak -- avoid accidental blowup if low-level operations are used, notably PolyML.makestring or its variant General.exnMessage;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 16:26:36 +0100 |
wenzelm |
more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 11:31:08 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 11:25:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 21 Jul 2012 12:42:28 +0200 |
wenzelm |
more ML_System operations;
|
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
|
| Wed, 17 Aug 2011 23:37:23 +0200 |
wenzelm |
identify parallel exceptions where they emerge first -- to achieve unique results within evaluation graph;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2011 17:22:28 +0200 |
wenzelm |
explicit structure ML_System;
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 18:21:48 +0200 |
wenzelm |
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
|
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
|
| Fri, 16 Apr 2010 10:52:10 +0200 |
wenzelm |
added ML antiquotation @{make_string}, which produces proper pretty printed version in Poly/ML 5.3.0 or later;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:56:55 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Mon, 09 Nov 2009 21:30:54 +0100 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
| base
|
| Wed, 30 Sep 2009 11:36:12 +0200 |
wenzelm |
more uniform treatment of structure Unsynchronized in ML bootstrap phase;
|
file |
diff |
annotate
|
| Thu, 30 Jul 2009 23:50:11 +0200 |
wenzelm |
recovered polyml-5.2 -- need to reload ML-Systems/multithreading.ML after overriding Thread structures;
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 17:31:38 +0200 |
wenzelm |
reraise exceptions to preserve original position (ML system specific);
|
file |
diff |
annotate
|
| Sun, 31 May 2009 15:03:34 +0200 |
wenzelm |
renamed polyml_pp.ML to pp_polyml.ML;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:51:21 +0200 |
wenzelm |
more modular setup of runtime compilation;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 21:40:11 +0100 |
wenzelm |
more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2009 20:00:23 +0100 |
wenzelm |
added polyml_pp.ML: toplevel pretty printing for Poly/ML 4.x and 5.x before 5.3;
|
file |
diff |
annotate
|
| Tue, 27 Jan 2009 12:59:22 +0100 |
wenzelm |
added share_common_data -- reduces heap space, but takes long;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2009 19:38:03 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sat, 15 Nov 2008 11:25:17 +0100 |
wenzelm |
multithreading support for polyml-5.2 actually disabled -- as advertized;
|
file |
diff |
annotate
|
| Thu, 23 Oct 2008 15:28:08 +0200 |
wenzelm |
multithreading support only for polyml-5.2.1 or later;
|
file |
diff |
annotate
|
| Wed, 17 Sep 2008 21:27:24 +0200 |
wenzelm |
use_text/use_file now depend on explicit ML name space;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 18:01:25 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 17:48:49 +0200 |
wenzelm |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file |
diff |
annotate
|
| Sun, 07 Sep 2008 17:46:44 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| Thu, 04 Sep 2008 16:03:48 +0200 |
wenzelm |
multithreading.ML provides dummy thread structures;
|
file |
diff |
annotate
|
| Wed, 14 May 2008 11:05:11 +0200 |
wenzelm |
use_text/file: proper position output;
|
file |
diff |
annotate
|