Mon, 06 Mar 2017 17:10:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 16:47:52 +0100 |
wenzelm |
more general tooltips, with uniform info range handling;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 11:48:06 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 11:46:14 +0100 |
wenzelm |
more generic colors;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 11:39:41 +0100 |
wenzelm |
proper color;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 11:38:06 +0100 |
wenzelm |
more generic colors;
|
file |
diff |
annotate
|
Sun, 05 Mar 2017 22:06:13 +0100 |
wenzelm |
more generic rendering;
|
file |
diff |
annotate
|
Sat, 04 Mar 2017 09:29:24 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 04 Mar 2017 09:27:51 +0100 |
wenzelm |
symbolic Rendering.Color;
|
file |
diff |
annotate
|
Sat, 04 Mar 2017 08:41:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 12:31:45 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 11:41:18 +0100 |
wenzelm |
refer to bibtex entries via general Document_Model, instead of editor buffers;
|
file |
diff |
annotate
|
Tue, 03 Jan 2017 21:02:46 +0100 |
wenzelm |
support VSCode DocumentHighlights;
|
file |
diff |
annotate
|
Mon, 02 Jan 2017 11:42:15 +0100 |
wenzelm |
clarified multiple tooltips;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 10:39:50 +0100 |
wenzelm |
more uniform treatment of "bad" like other messages (with serial number);
|
file |
diff |
annotate
|
Tue, 27 Dec 2016 17:33:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 23 Dec 2016 11:21:38 +0100 |
wenzelm |
omit unused markup;
|
file |
diff |
annotate
|
Wed, 21 Dec 2016 23:54:21 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 22:24:16 +0100 |
wenzelm |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 21:35:56 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
| base
|