| Fri, 01 Nov 2024 18:12:40 +0100 |
wenzelm |
more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2024 16:53:10 +0100 |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
file |
diff |
annotate
|
| Sat, 19 Oct 2024 22:38:51 +0200 |
wenzelm |
clarified order of tooltips: make it less dependent on report order from ML (which differs for input vs. output);
|
file |
diff |
annotate
|
| Sat, 19 Oct 2024 22:20:05 +0200 |
wenzelm |
clarified signature (see also 1de8a8b1ae79);
|
file |
diff |
annotate
|
| Sat, 19 Oct 2024 22:01:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 06 Oct 2024 21:55:31 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2024 15:30:09 +0200 |
Fabian Huch |
add comments to rendering, e.g. to collect them from build database;
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 15:35:16 +0200 |
wenzelm |
block markup for specific notation, notably infix and binder;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2024 19:58:28 +0200 |
wenzelm |
more formal Markup.expression;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 12:53:28 +0200 |
wenzelm |
misc tuning: support "scalac -source 3.3";
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 20:26:42 +0100 |
wenzelm |
dismantle special treatment of citations in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 17:14:59 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 11:33:13 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 01 Oct 2022 15:42:52 +0200 |
wenzelm |
clarified signature, to support external tools like "isabelle narration";
|
file |
diff |
annotate
|