| Wed, 16 Dec 2020 13:22:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 22:01:54 +0100 |
wenzelm |
clarified caret focus modifier, depending on option "jedit_focus_modifier";
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 16:51:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 14 Dec 2020 16:40:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 23:11:41 +0100 |
wenzelm |
unused (see 29566b6810f7);
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 23:06:33 +0100 |
wenzelm |
proper argument --- amending 908d8be90533;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:54:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:43:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 22:30:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 19:04:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 17:48:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 16:35:37 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 17:01:59 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 16:35:56 +0100 |
wenzelm |
clarified signature: more specific types;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 20:10:10 +0100 |
wenzelm |
added "isabelle log": print messages from build database;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2020 15:14:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:24:39 +0100 |
wenzelm |
clarified markup: support more completion, e.g. within ROOTS;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:32:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Nov 2020 17:01:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 18 Mar 2020 16:46:07 +0100 |
wenzelm |
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2020 11:55:16 +0100 |
wenzelm |
claried error elements: include internalized errors of tokens/commands;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 21:52:21 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Fri, 12 Apr 2019 19:48:29 +0200 |
wenzelm |
report document tags as seen in the text (not the active tag of Thy_Output.present_thy);
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 18:38:42 +0100 |
wenzelm |
clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 17:24:24 +0100 |
wenzelm |
more markup for various text kinds, notably for nested formal comments;
|
file |
diff |
annotate
|
| Sun, 17 Mar 2019 20:03:55 +0100 |
wenzelm |
more meta data from "dcterms" (superset of "dc");
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 20:47:04 +0100 |
wenzelm |
support for document meta data in PIDE and RDF;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 19:14:21 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|