Wed, 31 May 2017 20:43:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 31 May 2017 20:33:26 +0200 |
wenzelm |
added update operation;
|
file |
diff |
annotate
|
Wed, 31 May 2017 20:13:05 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
Wed, 31 May 2017 17:32:01 +0200 |
wenzelm |
register commands earlier, before prover startup;
|
file |
diff |
annotate
|
Wed, 31 May 2017 17:25:26 +0200 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
Tue, 30 May 2017 22:06:39 +0200 |
wenzelm |
provide preview content on Scala side (similar to output);
|
file |
diff |
annotate
|
Tue, 30 May 2017 19:19:39 +0200 |
wenzelm |
clarified event handling;
|
file |
diff |
annotate
|
Tue, 30 May 2017 14:43:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:42:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:40:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 29 May 2017 22:49:43 +0200 |
wenzelm |
update preview after document change;
|
file |
diff |
annotate
|
Mon, 29 May 2017 19:50:46 +0200 |
wenzelm |
proper HTML preview;
|
file |
diff |
annotate
|
Mon, 29 May 2017 19:34:07 +0200 |
wenzelm |
clarified view column;
|
file |
diff |
annotate
|
Mon, 29 May 2017 15:16:32 +0200 |
wenzelm |
basic setup for document preview;
|
file |
diff |
annotate
|