Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated package;
  3. maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
  4. proper treatment of editor overlays;
  5. tuned;
  6. clarified modules;
  7. tuned signature;
  8. support for separate proof state output;
  9. automatic reformatting;
  10. more general dispatcher operations;
  11. tuned;
  12. clarified modules;
  13. tuned;
  14. tuned;
Changeset 66103:8ff7fd4ee919 by wenzelm:
merged
Changeset 66102:3e2145cf3077 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66101:0f0f294e314f by wenzelm:
maintain overlays within main state of document models;<br>proper pending_input for Isabelle/VSCode;
The file was modified src/Pure/PIDE/editor.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)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 66100:d1ad5a7458c2 by wenzelm:
proper treatment of editor overlays;
The file was modified src/Tools/VSCode/src/document_model.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 66099:d1639e7877cc by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 66098:5aa9cb83e70e by wenzelm:
clarified modules;
The file was addedsrc/Tools/VSCode/src/preview_panel.scala
The file was addedsrc/Tools/VSCode/src/state_panel.scala
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was removedsrc/Tools/VSCode/src/preview.scala
The file was removedsrc/Tools/VSCode/src/state.scala
Changeset 66097:ee4c2d5b650e by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 66096:6187612e83c1 by wenzelm:
support for separate proof state output;
The file was addedsrc/Tools/VSCode/src/state.scala
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66095:78a1aedd1761 by wenzelm:
automatic reformatting;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66094:24658c9d7c78 by wenzelm:
more general dispatcher operations;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/GUI/gui_thread.scala (diff)
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Pure/PIDE/query_operation.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
Changeset 66093:440112959631 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66092:f5595bef6545 by wenzelm:
clarified modules;
The file was addedsrc/Tools/VSCode/extension/src/content_provider.ts
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66091:0a91f2d976c1 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
Changeset 66090:5e1c1b366ac3 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/protocol.scala (diff)