| Sun, 09 Feb 2025 12:58:40 +0100 |
wenzelm |
more complete brackets for jEdit modes;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2025 12:35:29 +0100 |
wenzelm |
clarified modules: more robust Isabelle symbols;
|
file |
diff |
annotate
|
| Thu, 26 Dec 2024 15:38:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2024 13:15:55 +0100 |
wenzelm |
minor performance tuning: avoid duplication of Symbol.spaces (e.g. from Pretty.formatted);
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 15:17:39 +0100 |
wenzelm |
more robust and uniform metric, still with special treatment motivated by jEdit (see also 0cdfce0bf956);
|
file |
diff |
annotate
|
| Mon, 04 Nov 2024 14:50:21 +0100 |
wenzelm |
more accurate Symbol.Metric, following 6eccae338770;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2024 12:32:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Jul 2024 23:13:35 +0200 |
wenzelm |
clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 16:51:55 +0200 |
wenzelm |
minor performance tuning: allow recode operation during YXML parsing;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 13:25:51 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 13:46:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 13:20:18 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 11:37:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 00:15:34 +0200 |
wenzelm |
minor performance tuning: more direct Bytes with Symbol.encode;
|
file |
diff |
annotate
|
| Fri, 10 Nov 2023 16:03:52 +0100 |
wenzelm |
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 16:39:29 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Sat, 01 Oct 2022 20:10:56 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 20:24:05 +0200 |
wenzelm |
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2022 16:21:14 +0100 |
wenzelm |
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 16:14:14 +0100 |
wenzelm |
clarified char symbols: cover most European languages;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 16:01:54 +0100 |
wenzelm |
more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 16:05:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 15:47:54 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 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
|