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