Mon, 12 Jun 2017 20:06:55 +0200 tuned;
wenzelm [Mon, 12 Jun 2017 20:06:55 +0200] rev 66074
tuned;
Mon, 12 Jun 2017 19:28:16 +0200 clarified message;
wenzelm [Mon, 12 Jun 2017 19:28:16 +0200] rev 66073
clarified message;
Mon, 12 Jun 2017 15:52:49 +0200 retain vacuous CompletionProvider for now;
wenzelm [Mon, 12 Jun 2017 15:52:49 +0200] rev 66072
retain vacuous CompletionProvider for now;
Mon, 12 Jun 2017 15:44:08 +0200 tuned;
wenzelm [Mon, 12 Jun 2017 15:44:08 +0200] rev 66071
tuned;
Mon, 12 Jun 2017 15:40:40 +0200 dynamic configuration of prettify-symbols-mode, similar to VSCoq;
wenzelm [Mon, 12 Jun 2017 15:40:40 +0200] rev 66070
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
Mon, 12 Jun 2017 15:20:07 +0200 obsolete;
wenzelm [Mon, 12 Jun 2017 15:20:07 +0200] rev 66069
obsolete;
Mon, 12 Jun 2017 11:41:54 +0200 removed pointless default: vscode.previewHtml happens only after prover response;
wenzelm [Mon, 12 Jun 2017 11:41:54 +0200] rev 66068
removed pointless default: vscode.previewHtml happens only after prover response;
Mon, 12 Jun 2017 11:32:23 +0200 more markup for HTML rendering;
wenzelm [Mon, 12 Jun 2017 11:32:23 +0200] rev 66067
more markup for HTML rendering;
Mon, 12 Jun 2017 10:58:10 +0200 tuned signature;
wenzelm [Mon, 12 Jun 2017 10:58:10 +0200] rev 66066
tuned signature;
Mon, 12 Jun 2017 10:51:30 +0200 clarified;
wenzelm [Mon, 12 Jun 2017 10:51:30 +0200] rev 66065
clarified;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip