NEWS
Sat, 17 Sep 2022 22:38:21 +0200 wenzelm clarified NEWS;
Sat, 17 Sep 2022 18:10:48 +0200 wenzelm MLton component for x86_64-linux;
Fri, 16 Sep 2022 22:33:14 +0200 wenzelm more robust: snap version of docker cannot access /tmp;
Wed, 14 Sep 2022 21:50:38 +0200 wenzelm more items;
Sat, 10 Sep 2022 19:37:33 +0200 wenzelm more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
Fri, 09 Sep 2022 14:47:42 +0200 wenzelm tuning and updates for release;
Fri, 09 Sep 2022 14:09:06 +0200 wenzelm NEWS;
Thu, 08 Sep 2022 22:35:50 +0200 wenzelm merged
Thu, 08 Sep 2022 19:32:26 +0200 wenzelm updated documentation;
Wed, 07 Sep 2022 11:25:49 +0200 wenzelm clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);
Tue, 06 Sep 2022 12:44:02 +0200 wenzelm option "show_states" for more verbosity of batch-builds;
Wed, 07 Sep 2022 08:58:27 +0200 desharna merged
Fri, 02 Sep 2022 13:41:55 +0200 desharna merged
Sat, 25 Jun 2022 13:34:41 +0200 desharna moved antimono to Fun and redefined it as an abbreviation
less more (0) -3000 -1000 -300 -100 -14 tip