#
08f5cd76 |
|
18-Mar-2020 |
wenzelm <none@none> |
backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
|
#
67051afb |
|
15-Mar-2020 |
wenzelm <none@none> |
claried error elements: include internalized errors of tokens/commands;
|
#
e85ae7ef |
|
01-Mar-2020 |
wenzelm <none@none> |
more Isabelle/jEdit actions;
|
#
60bdf328 |
|
12-Apr-2019 |
wenzelm <none@none> |
report document tags as seen in the text (not the active tag of Thy_Output.present_thy);
|
#
8e8b4fac |
|
24-Mar-2019 |
wenzelm <none@none> |
clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
|
#
09af1827 |
|
24-Mar-2019 |
wenzelm <none@none> |
more markup for various text kinds, notably for nested formal comments;
|
#
93f18628 |
|
17-Mar-2019 |
wenzelm <none@none> |
more meta data from "dcterms" (superset of "dc");
|
#
1bc1c6f4 |
|
11-Mar-2019 |
wenzelm <none@none> |
support for document meta data in PIDE and RDF;
|
#
98ec9696 |
|
11-Mar-2019 |
wenzelm <none@none> |
tuned signature;
|
#
048cf2a1 |
|
14-Jan-2019 |
wenzelm <none@none> |
clarified message;
|
#
f8956dbd |
|
13-Jan-2019 |
wenzelm <none@none> |
support hyperlink to theory exports;
|
#
9f3d4445 |
|
28-Nov-2018 |
wenzelm <none@none> |
clarified signature;
|
#
421e7d22 |
|
21-Nov-2018 |
wenzelm <none@none> |
more comment markup;
|
#
1be4ae83 |
|
01-Sep-2018 |
wenzelm <none@none> |
more explicit status for "canceled" command within theory node;
|
#
cbb23d18 |
|
27-Aug-2018 |
wenzelm <none@none> |
simplified markup;
|
#
c4fc6914 |
|
17-Aug-2018 |
wenzelm <none@none> |
clarified modules;
|
#
d38ffb1e |
|
23-Mar-2018 |
wenzelm <none@none> |
more robust timing info: do not rely on order of markup;
|
#
fa85d10e |
|
11-Mar-2018 |
wenzelm <none@none> |
more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
|
#
de640a9a |
|
09-Jan-2018 |
wenzelm <none@none> |
more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
|
#
e92818d6 |
|
03-Jan-2018 |
wenzelm <none@none> |
HTML output for Markdown elements; clarified HTML operations;
|
#
5896cd92 |
|
02-Jan-2018 |
wenzelm <none@none> |
PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
|
#
be13dbec |
|
02-Jan-2018 |
wenzelm <none@none> |
clarified terminology of "markdown_bullet";
|
#
ac6f4c01 |
|
04-Dec-2017 |
wenzelm <none@none> |
added action to make antiquoted cartouche;
|
#
7a11ac1e |
|
06-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
#
6da03ca3 |
|
27-Oct-2017 |
wenzelm <none@none> |
tuned;
|
#
bb073328 |
|
21-Jun-2017 |
wenzelm <none@none> |
clarified modules;
|
#
6d615fa4 |
|
19-Jun-2017 |
wenzelm <none@none> |
tuned signature; clarified modules;
|
#
429955ce |
|
19-Jun-2017 |
wenzelm <none@none> |
clarified signature;
|
#
a65a4584 |
|
12-Jun-2017 |
wenzelm <none@none> |
tuned;
|
#
55377eeb |
|
09-Jun-2017 |
wenzelm <none@none> |
tuned;
|
#
67b1e130 |
|
09-Jun-2017 |
wenzelm <none@none> |
more uniform syntax_completion + semantic_completion;
|
#
aa12209a |
|
09-Jun-2017 |
wenzelm <none@none> |
clarified modules;
|
#
99d67a6a |
|
23-May-2017 |
wenzelm <none@none> |
support text overview colors via decorations;
|
#
c0d89baa |
|
23-May-2017 |
wenzelm <none@none> |
clarified modules;
|
#
fbacafa7 |
|
29-Apr-2017 |
wenzelm <none@none> |
tuned;
|
#
2a5365d0 |
|
16-Apr-2017 |
wenzelm <none@none> |
tuned signature;
|
#
a6657b10 |
|
16-Apr-2017 |
wenzelm <none@none> |
tuned signature;
|
#
8675608e |
|
14-Mar-2017 |
wenzelm <none@none> |
more robust debugger initialization, e.g. required for GUI components before actual session startup;
|
#
11f33b78 |
|
13-Mar-2017 |
wenzelm <none@none> |
proper local debugger state, depending on session; tuned signature;
|
#
931ca545 |
|
11-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
456e7039 |
|
10-Mar-2017 |
wenzelm <none@none> |
suppress irrelevant markup for VSCode;
|
#
285f4d8d |
|
08-Mar-2017 |
wenzelm <none@none> |
clarified rendering;
|
#
efb1d627 |
|
08-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
33022b87 |
|
07-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
e7c20317 |
|
07-Mar-2017 |
wenzelm <none@none> |
more generic colors;
|
#
b70b7d1d |
|
07-Mar-2017 |
wenzelm <none@none> |
tuned;
|
#
2c79abce |
|
07-Mar-2017 |
wenzelm <none@none> |
clarified modules: spell-checker in Pure; --HG-- rename : src/Tools/jEdit/src/spell_checker.scala => src/Tools/jEdit/src/jedit_spell_checker.scala
|
#
411233a5 |
|
06-Mar-2017 |
wenzelm <none@none> |
more robust;
|
#
c50fcf9f |
|
06-Mar-2017 |
wenzelm <none@none> |
more general tooltips, with uniform info range handling;
|
#
5c35367a |
|
06-Mar-2017 |
wenzelm <none@none> |
tuned whitespace;
|
#
f2b472e8 |
|
06-Mar-2017 |
wenzelm <none@none> |
more generic colors;
|
#
6b0ba6ca |
|
05-Mar-2017 |
wenzelm <none@none> |
more generic rendering;
|
#
fc047286 |
|
04-Mar-2017 |
wenzelm <none@none> |
clarified pretty margin;
|
#
ed07677e |
|
04-Mar-2017 |
wenzelm <none@none> |
decorations for background and foreground colors;
|
#
a1efa17d |
|
04-Mar-2017 |
wenzelm <none@none> |
symbolic Rendering.Color; clarified modules;
|
#
19cde84c |
|
11-Jan-2017 |
wenzelm <none@none> |
support for semantic completion;
|
#
94fc7ddd |
|
03-Jan-2017 |
wenzelm <none@none> |
support VSCode DocumentHighlights; clarified modules;
|
#
6bbf56c0 |
|
02-Jan-2017 |
wenzelm <none@none> |
clarified multiple tooltips;
|
#
3efb6b12 |
|
27-Dec-2016 |
wenzelm <none@none> |
clarified modules;
|
#
540c8b49 |
|
23-Dec-2016 |
wenzelm <none@none> |
omit unused markup;
|
#
f24a252d |
|
21-Dec-2016 |
wenzelm <none@none> |
clarified signature;
|
#
a158aa49 |
|
21-Dec-2016 |
wenzelm <none@none> |
basic support for hyperlinks / Goto Definition Request;
|
#
5f6ffaf5 |
|
20-Dec-2016 |
wenzelm <none@none> |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|