| Tue, 03 Jan 2023 16:05:07 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 30 Dec 2022 21:27:57 +0100 |
wenzelm |
tuned signature: avoid too many aliases;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 16:46:00 +0200 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Fri, 11 Sep 2020 13:54:22 +0200 |
wenzelm |
more checks;
|
file |
diff |
annotate
|
| 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
|