| Sun, 08 Dec 2024 11:49:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 07 Dec 2024 23:40:29 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 07 Dec 2024 23:50:18 +0100 |
wenzelm |
clarified term positions and markup: syntax = true means this is via concrete syntax;
|
file |
diff |
annotate
|
| Sat, 07 Dec 2024 21:42:59 +0100 |
wenzelm |
clarified signature: more explicit operations;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2024 20:43:25 +0100 |
wenzelm |
more accurate message boundaries;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2024 20:37:11 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 07 Nov 2024 20:29:52 +0100 |
wenzelm |
clarified signature: more robust type XML.Elem;
|
file |
diff |
annotate
|
| Fri, 01 Nov 2024 18:17:03 +0100 |
wenzelm |
clarified rendering: entity acts as atomic notation / expression;
|
file |
diff |
annotate
|
| 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
|