| 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 | changeset | files |
| Thu, 14 Mar 2019 09:46:09 +0100 | haftmann | proper theory for type of dual ordered lattice in distribution | changeset | files |
| Thu, 14 Mar 2019 09:46:04 +0100 | haftmann | slightly more complete check of code generation for immutable arrays | changeset | files |