| 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 |