Thu, 10 Jan 2019 12:07:05 +0000 |
haftmann |
explicit model concerning files of generated code
|
file |
diff |
annotate
|
Tue, 30 Oct 2018 15:45:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 24 Apr 2018 14:17:58 +0000 |
haftmann |
proper datatype for 8-bit characters
|
file |
diff |
annotate
|
Thu, 14 Dec 2017 18:42:39 +0100 |
haftmann |
dedicated case option for code generation to Scala
|
file |
diff |
annotate
|
Thu, 03 Aug 2017 12:49:58 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Thu, 03 Aug 2017 12:49:57 +0200 |
haftmann |
work around weakness in export calculation when generating OCaml code
|
file |
diff |
annotate
|
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
|
Fri, 02 May 2014 21:18:50 +0200 |
haftmann |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
file |
diff |
annotate
|
Thu, 01 May 2014 09:30:36 +0200 |
haftmann |
centralized upper/lowercase name mangling
|
file |
diff |
annotate
|
Thu, 27 Feb 2014 18:07:53 +0100 |
haftmann |
amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
keep only identifiers public which are explicitly requested or demanded by dependencies
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
explicit option for "open" code generation
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
more fine-grain notion of export
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
formal markup for public ingredients
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
dropped long-unused option
|
file |
diff |
annotate
|