Wed, 12 Aug 2015 02:21:00 +0200 |
wenzelm |
clarified breakpoint rendering;
|
file |
diff |
annotate
|
Tue, 11 Aug 2015 17:06:23 +0200 |
wenzelm |
clarified break *point* position;
|
file |
diff |
annotate
|
Mon, 10 Aug 2015 11:23:49 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Thu, 06 Aug 2015 21:31:54 +0200 |
wenzelm |
evaluate ML expressions within debugger context;
|
file |
diff |
annotate
|
Fri, 17 Jul 2015 17:17:39 +0200 |
wenzelm |
store breakpoints within ML environment;
|
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
|
Fri, 17 Jul 2015 16:23:25 +0200 |
wenzelm |
report possible breakpoint positions;
|
file |
diff |
annotate
|
Thu, 16 Jul 2015 16:30:43 +0200 |
wenzelm |
clarified boundary cases of completion;
|
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:38:18 +0200 |
wenzelm |
added option ML_debugger;
|
file |
diff |
annotate
|
Mon, 29 Jun 2015 20:55:46 +0200 |
wenzelm |
improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded);
|
file |
diff |
annotate
|
Mon, 08 Dec 2014 15:59:30 +0100 |
wenzelm |
some special cases for official SML, to treat Isabelle symbols like raw characters;
|
file |
diff |
annotate
|
Wed, 12 Nov 2014 10:30:59 +0100 |
wenzelm |
more careful ML source positions, for improved PIDE markup;
|
file |
diff |
annotate
|
Sat, 19 Apr 2014 17:23:05 +0200 |
wenzelm |
added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
|
file |
diff |
annotate
|
Mon, 31 Mar 2014 10:28:08 +0200 |
wenzelm |
support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
|
file |
diff |
annotate
|
Thu, 27 Mar 2014 18:42:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 27 Mar 2014 17:56:13 +0100 |
wenzelm |
redirect ML_Compiler reports more directly: only the (big) parse tree report is deferred via Execution.print (NB: this does not work for asynchronous "diag" commands);
|
file |
diff |
annotate
|
Thu, 27 Mar 2014 17:12:40 +0100 |
wenzelm |
clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
|
file |
diff |
annotate
|
Tue, 25 Mar 2014 19:03:02 +0100 |
wenzelm |
proper configuration option "ML_print_depth";
|
file |
diff |
annotate
|
Tue, 25 Mar 2014 13:18:10 +0100 |
wenzelm |
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
|
file |
diff |
annotate
|
Mon, 24 Mar 2014 12:00:17 +0100 |
wenzelm |
discontinued Toplevel.debug in favour of system option "exception_trace";
|
file |
diff |
annotate
|
Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 21:04:30 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Mon, 11 Nov 2013 20:00:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 13:18:51 +0200 |
wenzelm |
improved printing of exception trace in Poly/ML 5.5.1;
|
file |
diff |
annotate
|
Mon, 08 Apr 2013 17:10:49 +0200 |
wenzelm |
prefer pretty_exn where possible -- NB: low-level General.exnMessage may still be used elsewhere (e.g. by the ML compiler itself);
|
file |
diff |
annotate
|
Wed, 16 Jan 2013 20:41:29 +0100 |
wenzelm |
identify future results more carefully, to avoid odd duplication of error messages, notably from forked goals;
|
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
|
Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
Fri, 12 Oct 2012 11:03:23 +0200 |
wenzelm |
more basic ML compiler messages -- avoid conflict of 638cefe3ee99 and cb7264721c91 concerning Protocol.message_positions;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
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
|