| #
29a680f3 |
|
30-May-2017 |
wenzelm <none@none> |
provide preview content on Scala side (similar to output);
|
| #
4ce17fd4 |
|
25-May-2017 |
wenzelm <none@none> |
restricted perspective depending on the caret -- important for reactivity when editing big files;
|
| #
b0e2501b |
|
07-Mar-2017 |
wenzelm <none@none> |
clarified options;
|
| #
b643cf19 |
|
05-Mar-2017 |
wenzelm <none@none> |
more ambitious timing, to compensate general protocol delays;
|
| #
fc047286 |
|
04-Mar-2017 |
wenzelm <none@none> |
clarified pretty margin;
|
| #
66920db6 |
|
11-Jan-2017 |
wenzelm <none@none> |
clarified text output wrt. symbols;
|
| #
3f89338a |
|
31-Dec-2016 |
wenzelm <none@none> |
automatically resolve dependencies from document models and file-system;
|
| #
ca73edf6 |
|
28-Dec-2016 |
wenzelm <none@none> |
clarified options;
|
| #
a5f150ae |
|
28-Dec-2016 |
wenzelm <none@none> |
more uniform treatment of input/output wrt. client;
support for diagnistic messages;
misc tuning;
|
| #
5f6ffaf5 |
|
20-Dec-2016 |
wenzelm <none@none> |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|