Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed pointless entries: not part of api.LanguageEntry;
  2. avoid overlapping line background, notably for "quoted";
  3. tuned rendering;
  4. tuned;
  5. clarified message;
  6. retain vacuous CompletionProvider for now;
  7. tuned;
  8. dynamic configuration of prettify-symbols-mode, similar to VSCoq;
  9. obsolete;
  10. removed pointless default: vscode.previewHtml happens only after prover response;
  11. more markup for HTML rendering;
  12. tuned signature;
  13. clarified;
  14. tuned;
Changeset 66077:1700b74ebbb9 by wenzelm:
removed pointless entries: not part of api.LanguageEntry;
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 66076:8bd8750a2f9b by wenzelm:
avoid overlapping line background, notably for "quoted";
The file was modified etc/isabelle.css (diff)
Changeset 66075:408a5325379c by wenzelm:
tuned rendering;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66074:4329cc78c2a1 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 66073:50a28b3cceb2 by wenzelm:
clarified message;
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 66072:fd26cf23e9b2 by wenzelm:
retain vacuous CompletionProvider for now;
The file was modified src/Tools/VSCode/extension/src/completion.ts (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 66071:8b67040b80ce by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 66070:65a68dcd95c3 by wenzelm:
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 66069:0a34bfc15e2c by wenzelm:
obsolete;
The file was modified .hgignore (diff)
Changeset 66068:f8899f6071ac by wenzelm:
removed pointless default: vscode.previewHtml happens only after prover response;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66067:cdbcb417db67 by wenzelm:
more markup for HTML rendering;
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_lex.ML (diff)
The file was modified src/Pure/ML/ml_thms.ML (diff)
The file was modified src/Pure/Thy/document_antiquotations.ML (diff)
Changeset 66066:7ac97dea27d2 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
Changeset 66065:1494f3aa8194 by wenzelm:
clarified;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66064:5a00cec6bc82 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)