| Sat, 15 Feb 2025 14:00:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2025 12:58:40 +0100 |
wenzelm |
more complete brackets for jEdit modes;
|
file |
diff |
annotate
|
| Sun, 09 Feb 2025 12:47:21 +0100 |
wenzelm |
tuned: more robust Isabelle symbols;
|
file |
diff |
annotate
|
| Thu, 30 Jan 2025 11:53:26 +0100 |
wenzelm |
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
|
file |
diff |
annotate
|
| Fri, 15 Nov 2024 15:18:48 +0100 |
wenzelm |
removed obsolete option: jEdit 5.7.0 can be built with default jdk;
|
file |
diff |
annotate
|
| Mon, 11 Nov 2024 12:19:45 +0100 |
wenzelm |
performance tuning for macOS (after update of "jedit" component): old OpenGL works better for text rendering;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2024 16:53:10 +0100 |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
file |
diff |
annotate
|
| Tue, 29 Oct 2024 12:30:15 +0100 |
wenzelm |
update to jedit5.7.0;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 22:54:44 +0100 |
wenzelm |
renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
|
file |
diff |
annotate
| base
|