| Sat, 08 Dec 2018 14:58:56 +0100 | wenzelm | clarified gnutar options: more uniform owner; | file | diff | annotate |
| Wed, 28 Nov 2018 11:28:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | file | diff | annotate |
| Sun, 21 Oct 2018 18:32:33 +0200 | wenzelm | eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; | file | diff | annotate |
| Thu, 13 Sep 2018 16:30:07 +0200 | wenzelm | more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further; | file | diff | annotate |
| Sat, 09 Jun 2018 13:19:57 +0200 | wenzelm | tuned -- use existing operation; | file | diff | annotate |
| Thu, 22 Mar 2018 17:00:48 +0100 | wenzelm | clarified signature: flexible base_dir; | file | diff | annotate |