| Sun, 28 Mar 2021 11:33:30 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 13:29:04 +0100 |
wenzelm |
updated "macOS" terminology: current Big Sur is already version 11;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2020 18:55:04 +0200 |
wenzelm |
tuned messages --- less SPAM;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 13:16:42 +0200 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 14:25:28 +0200 |
wenzelm |
another isabelle_scala_service;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2020 13:14:05 +0200 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 23:20:55 +0100 |
wenzelm |
more robust: "gtar" is default name in Homebrew;
|
file |
diff |
annotate
|
| Thu, 29 Nov 2018 15:17:51 +0100 |
wenzelm |
clarified "hidden" terminology;
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 16:41:18 +0100 |
wenzelm |
more shell functions;
|
file |
diff |
annotate
|
| Sat, 10 Nov 2018 14:08:02 +0100 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| Thu, 08 Nov 2018 15:52:10 +0100 |
wenzelm |
always insist in specified resolver/compiler version;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 22:36:51 +0200 |
wenzelm |
more portable;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 21:37:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 20:06:19 +0200 |
wenzelm |
isabelle_stack as portable shell function;
|
file |
diff |
annotate
|