| Thu, 03 Mar 2022 15:39:51 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 13:08:25 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 12:40:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 12:20:27 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 12:08:49 +0100 |
wenzelm |
misc tuning, based on suggestions by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2021 21:58:29 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 19:41:52 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 30 Jan 2021 19:36:42 +0100 |
wenzelm |
tuned signature: more types;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 20:56:08 +0100 |
wenzelm |
support more direct hash-consing via XML.Cache;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 15:08:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 16:40:31 +0100 |
wenzelm |
unused (see 7634d33c1a79);
|
file |
diff |
annotate
|
| Wed, 01 Apr 2020 20:17:23 +0200 |
wenzelm |
pretty formatting as in Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 21:12:29 +0100 |
wenzelm |
document markers are formal comments, and may thus occur anywhere in the command-span;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 00:21:34 +0100 |
wenzelm |
added semantic document markers;
|
file |
diff |
annotate
|
| Fri, 21 Dec 2018 13:00:59 +0100 |
wenzelm |
more Haskell operations;
|
file |
diff |
annotate
|
| Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2018 13:44:06 +0100 |
wenzelm |
clarified presentation;
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 15:53:42 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 15 Jan 2018 14:31:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 20:58:41 +0100 |
wenzelm |
trim blanks -- more thoroughly than in update_cartouches (for single-line comments);
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 17:40:25 +0100 |
wenzelm |
show only symbols with code;
|
file |
diff |
annotate
|
| Mon, 01 Jan 2018 21:17:28 +0100 |
wenzelm |
more completion templates;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2017 20:04:05 +0100 |
wenzelm |
more robust treatment of conflicts with existing Unicode text;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 15:49:44 +0100 |
wenzelm |
HTML rendering of \<^control> as in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 22:54:31 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 17:37:26 +0100 |
wenzelm |
font style for literal control symbols, notably for antiquotations;
|
file |
diff |
annotate
|