Summary
- clarified signature;
- added abstract editor operations, notably for Query_Operation;
- tuned signature;
- tuned;
- clarified modules;
- clarified modules;
- updated package;
- tuned GUI;
- obsolete;
- removed pointless entries: not part of api.LanguageEntry;
- avoid overlapping line background, notably for "quoted";
- tuned rendering;
- tuned;
- clarified message;
- retain vacuous CompletionProvider for now;
- tuned;
- dynamic configuration of prettify-symbols-mode, similar to VSCoq;
- obsolete;
- removed pointless default: vscode.previewHtml happens only after prover response;
- more markup for HTML rendering;
- tuned signature;
- clarified;
- tuned;