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 |
Mon, 12 Jun 2017 10:58:10 +0200 | wenzelm | tuned signature; | changeset | files |