src/Tools/VSCode/extension/src/preview.ts
Wed, 07 Jun 2017 15:52:18 +0200 wenzelm avoid redundant Preview documents;
Thu, 01 Jun 2017 17:36:29 +0200 wenzelm proper update of already existing preview;
Wed, 31 May 2017 20:43:59 +0200 wenzelm tuned signature;
Wed, 31 May 2017 20:33:26 +0200 wenzelm added update operation;
Wed, 31 May 2017 20:13:05 +0200 wenzelm clarified name;
Wed, 31 May 2017 17:32:01 +0200 wenzelm register commands earlier, before prover startup;
Wed, 31 May 2017 17:25:26 +0200 wenzelm explicit preview request/response;
Tue, 30 May 2017 22:06:39 +0200 wenzelm provide preview content on Scala side (similar to output);
Tue, 30 May 2017 19:19:39 +0200 wenzelm clarified event handling;
Tue, 30 May 2017 14:43:42 +0200 wenzelm tuned;
Tue, 30 May 2017 11:42:18 +0200 wenzelm clarified signature;
Tue, 30 May 2017 11:40:28 +0200 wenzelm clarified modules;
Mon, 29 May 2017 22:49:43 +0200 wenzelm update preview after document change;
Mon, 29 May 2017 19:50:46 +0200 wenzelm proper HTML preview;
Mon, 29 May 2017 19:34:07 +0200 wenzelm clarified view column;
Mon, 29 May 2017 15:16:32 +0200 wenzelm basic setup for document preview;
less more (0) tip