src/Tools/Code/code_ml.ML
Sun, 06 Apr 2025 14:20:41 +0200 haftmann reflect nested lists in variables names
Sun, 30 Mar 2025 13:50:06 +0200 haftmann tuned namespace organisation
Fri, 17 Jan 2025 23:15:47 +0100 wenzelm avoid legacy warnings in "test_code check in OCaml";
Fri, 24 Mar 2023 18:30:17 +0000 haftmann More explicit type information in dictionary arguments.
Fri, 24 Mar 2023 18:30:17 +0000 haftmann more uniform approach towards satisfied applications
Sun, 12 Feb 2023 06:45:59 +0000 haftmann somehow more clear terminology
Sat, 21 May 2022 14:07:24 +0000 haftmann »nil« seems to be a reserved constructor word in PolyML
Mon, 28 Mar 2022 12:54:09 +0000 haftmann modernized handling of variables
Tue, 27 Oct 2020 22:34:37 +0100 wenzelm clarified signature: overloaded "+" for Path.append;
Sat, 25 Apr 2020 13:26:25 +0000 haftmann temporarily revert change which does not work as expected
Fri, 24 Apr 2020 13:16:40 +0000 haftmann opaque export does not work as expected in presence of dependent instances
Sun, 16 Jun 2019 16:40:57 +0000 haftmann more correct indicator
Fri, 22 Mar 2019 18:04:52 +0100 wenzelm workaround for the sake of Windows;
Wed, 20 Mar 2019 20:15:30 +0100 wenzelm access OCaml tools and libraries via ISABELLE_OCAMLFIND;
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
less more (0) -100 -15 tip