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
less more (0) -100 -30 -10 -6 tip