| Sun, 05 Mar 2017 22:06:13 +0100 |
wenzelm |
more generic rendering;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 21:47:26 +0100 |
wenzelm |
clarified pretty margin;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 13:36:06 +0100 |
wenzelm |
decorations for background and foreground colors;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 09:27:51 +0100 |
wenzelm |
symbolic Rendering.Color;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
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
|
| 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
|
| Wed, 21 Dec 2016 21:18:37 +0100 |
wenzelm |
basic support for hyperlinks / Goto Definition Request;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 22:24:16 +0100 |
wenzelm |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|