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 |