| Sat, 21 May 2022 14:07:24 +0000 |
haftmann |
»nil« seems to be a reserved constructor word in PolyML
|
file |
diff |
annotate
|
| Mon, 28 Mar 2022 12:54:09 +0000 |
haftmann |
modernized handling of variables
|
file |
diff |
annotate
|
| Tue, 27 Oct 2020 22:34:37 +0100 |
wenzelm |
clarified signature: overloaded "+" for Path.append;
|
file |
diff |
annotate
|
| Sat, 25 Apr 2020 13:26:25 +0000 |
haftmann |
temporarily revert change which does not work as expected
|
file |
diff |
annotate
|
| Fri, 24 Apr 2020 13:16:40 +0000 |
haftmann |
opaque export does not work as expected in presence of dependent instances
|
file |
diff |
annotate
|
| Sun, 16 Jun 2019 16:40:57 +0000 |
haftmann |
more correct indicator
|
file |
diff |
annotate
|
| Fri, 22 Mar 2019 18:04:52 +0100 |
wenzelm |
workaround for the sake of Windows;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 20:15:30 +0100 |
wenzelm |
access OCaml tools and libraries via ISABELLE_OCAMLFIND;
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 13:54:31 +0000 |
haftmann |
dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 15:16:45 +0000 |
haftmann |
migrated from Nums to Zarith as library for OCaml integer arithmetic
|
file |
diff |
annotate
|
| Fri, 25 Jan 2019 22:13:48 +0000 |
haftmann |
prefer proper strings in OCaml
|
file |
diff |
annotate
|
| 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
|