Mon, 04 Apr 2016 20:28:17 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 04 Apr 2016 20:07:08 +0200 | wenzelm | option ML_system_unsafe; | file | diff | annotate |
Sun, 03 Apr 2016 23:28:48 +0200 | wenzelm | clarified SML name space: no access to structure PolyML; | file | diff | annotate |
Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | file | diff | annotate |
Thu, 17 Mar 2016 10:54:28 +0100 | wenzelm | hide critical structures of Poly/ML, to make it harder to disrupt the ML environment; | file | diff | annotate |
Thu, 17 Mar 2016 10:21:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Thu, 03 Mar 2016 22:24:58 +0100 | wenzelm | obsolete; | file | diff | annotate |
Thu, 03 Mar 2016 21:59:21 +0100 | wenzelm | discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; | file | diff | annotate | base |