| Mon, 12 Jun 2017 19:28:16 +0200 | wenzelm | clarified message; | changeset | files |
| Mon, 12 Jun 2017 15:52:49 +0200 | wenzelm | retain vacuous CompletionProvider for now; | changeset | files |
| Mon, 12 Jun 2017 15:44:08 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Jun 2017 15:40:40 +0200 | wenzelm | dynamic configuration of prettify-symbols-mode, similar to VSCoq; | changeset | files |
| Mon, 12 Jun 2017 15:20:07 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 12 Jun 2017 11:41:54 +0200 | wenzelm | removed pointless default: vscode.previewHtml happens only after prover response; | changeset | files |
| Mon, 12 Jun 2017 11:32:23 +0200 | wenzelm | more markup for HTML rendering; | changeset | files |