src/Tools/Code/code_ml.ML
Tue, 14 Jun 2016 20:48:41 +0200 haftmann explicit resolution of ambiguous dictionaries
Sun, 29 May 2016 14:43:17 +0200 haftmann do not export abstract constructors in code_reflect
Mon, 18 Apr 2016 20:56:11 +0200 haftmann environment variable check has become pointless after 771b8ad5c7fc
Wed, 13 Apr 2016 14:25:02 +0200 wenzelm tuned;
Wed, 16 Mar 2016 11:45:25 +0100 wenzelm less physical "logic" argument, with option -l like "isabelle console" etc.;
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
Wed, 09 Mar 2016 21:01:22 +0100 wenzelm merged
Wed, 09 Mar 2016 19:30:09 +0100 wenzelm isabelle.Build uses ML_Process directly;
Tue, 08 Mar 2016 21:07:48 +0100 haftmann explicit record values for dictionary variables
Thu, 03 Mar 2016 23:33:22 +0100 wenzelm simplified;
Mon, 29 Feb 2016 20:35:06 +0100 wenzelm isabelle_process executable no longer supports writable heap images;
Sun, 06 Sep 2015 22:14:52 +0200 haftmann parenthesing let-expressions in OCaml similar to case expressions avoids precendence problems due to ambiguous scope;
Wed, 28 Jan 2015 08:29:08 +0100 haftmann string printing conformant to both (S)ML and Isabelle/ML
Fri, 09 Jan 2015 08:36:59 +0100 haftmann modernized and more uniform style
Fri, 05 Dec 2014 19:35:36 +0100 haftmann allow multiple inheritance of targets
less more (0) -100 -15 tip