Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. added abstract editor operations, notably for Query_Operation;
  3. tuned signature;
  4. tuned;
  5. clarified modules;
  6. clarified modules;
  7. updated package;
  8. tuned GUI;
  9. obsolete;
  10. removed pointless entries: not part of api.LanguageEntry;
  11. avoid overlapping line background, notably for "quoted";
  12. tuned rendering;
  13. tuned;
  14. clarified message;
  15. retain vacuous CompletionProvider for now;
  16. tuned;
  17. dynamic configuration of prettify-symbols-mode, similar to VSCoq;
  18. obsolete;
  19. removed pointless default: vscode.previewHtml happens only after prover response;
  20. more markup for HTML rendering;
  21. tuned signature;
  22. clarified;
  23. tuned;
Changeset 66086:3f7067ba5df3 by wenzelm:
clarified signature;
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 66085:100f02099532 by wenzelm:
added abstract editor operations, notably for Query_Operation;
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66084:7f8eeff20f7a by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
Changeset 66083:dcc685d5c3f7 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66082:2d12a730a380 by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Tools/jEdit/src/active.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 66081:441f95b05944 by wenzelm:
clarified modules;
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66080:066f4ba9c965 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66079:18e8d4e7ca28 by wenzelm:
tuned GUI;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66078:9a719681309e by wenzelm:
obsolete;
The file was removedsrc/Tools/VSCode/extension/isabelle-symbols.json
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)