| 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, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
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, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 08 Nov 2018 22:02:07 +0100 |
wenzelm |
update ROOT files as well: treated like .thy in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2018 21:18:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 20:10:11 +0100 |
wenzelm |
more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 22:54:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 23:01:39 +0200 |
wenzelm |
prefer internal tool;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 17:40:01 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 15:00:17 +0100 |
wenzelm |
moved getopts to Scala;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:03:46 +0200 |
wenzelm |
added isabelle update_cartouches option -t;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2014 14:04:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 14:53:51 +0200 |
wenzelm |
added update_cartouches tool;
|
file |
diff |
annotate
|