Wed, 28 Nov 2018 16:18:40 +0100 | wenzelm | tuned signature; | 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, 14 May 2017 15:34:20 +0200 | wenzelm | clarified notion of known files (before actual commit); | file | diff | annotate |
Tue, 20 Dec 2016 08:53:26 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Mon, 24 Oct 2016 11:48:32 +0200 | wenzelm | tuned message; | file | diff | annotate |
Thu, 20 Oct 2016 16:29:02 +0200 | wenzelm | check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala; | file | diff | annotate |
Wed, 12 Oct 2016 11:31:08 +0200 | wenzelm | simplified: no internal state for Mercurial; | file | diff | annotate |
Wed, 12 Oct 2016 10:22:34 +0200 | wenzelm | explicit indication of Admin tools; | file | diff | annotate | base |