| Mon, 21 Dec 2015 15:46:23 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 17 Aug 2015 15:19:25 +0200 | wenzelm | abstract exn_id based on getExnId in polyml/basis/FinalPolyML.sml (NB: the mutable machine word cannot be inspected in ML, e.g. toplevel pp dumps core); | file | diff | annotate |
| Thu, 06 Aug 2015 14:23:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 06 Aug 2015 11:46:47 +0200 | wenzelm | clarified signature, to make debugger.ML compile with current official ML versions; | 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 | base |