Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: file operations take standard_path as in Isabelle/ML/Scala;
  2. provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;
  3. proper init of non-existing file;
  4. proper function call;
  5. clarified signature;
  6. tuned;
  7. tuned, based on suggestions by IntelliJ IDEA;
  8. tuned;
  9. clarified signature;
  10. clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
  11. misc tuning, based on suggestions by IntelliJ IDEA;
  12. clarified signature;
  13. tuned signature;
  14. clarified signature; clarified data structures;
  15. tuned imports;
  16. clarified signature;
  17. clarified signature;
  18. tuned signature;
  19. misc tuning, based on suggestions by IntelliJ IDEA;
Changeset 75210:d2add317268f by wenzelm:
clarified signature: file operations take standard_path as in Isabelle/ML/Scala;
The file was modified src/Tools/VSCode/extension/src/file.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 75209:4187f6f18232 by wenzelm:
provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;
The file was modified src/Tools/VSCode/etc/settings (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/lsp.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75208:31c5a22d50ef by wenzelm:
proper init of non-existing file;
The file was modified src/Pure/General/file.scala (diff)
Changeset 75207:6087947afd0a by wenzelm:
proper function call;
The file was modified src/Tools/VSCode/extension/src/file.ts (diff)
Changeset 75206:481ad7da73a9 by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
Changeset 75205:c33e75542ffe by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75204:b0910e6c1320 by wenzelm:
tuned, based on suggestions by IntelliJ IDEA;
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
Changeset 75203:ee1bd0687c2b by wenzelm:
tuned;
The file was modified src/Pure/General/file.scala (diff)
Changeset 75202:4fdde010086f by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
The file was modified src/Pure/Admin/build_minisat.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75201:8f6b8a46f54c by wenzelm:
clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
The file was addedsrc/Tools/VSCode/extension/src/lsp.ts
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/isabelle_filesystem/isabelle_workspace.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/workspace_state.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was removedsrc/Tools/VSCode/extension/src/protocol.ts
Changeset 75200:c05f0e8a54de by wenzelm:
misc tuning, based on suggestions by IntelliJ IDEA;
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
Changeset 75199:1ced8ee860e2 by wenzelm:
clarified signature;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
Changeset 75198:19f1d8c074c8 by wenzelm:
tuned signature;
The file was modified src/Pure/General/symbol.scala (diff)
Changeset 75197:29e11ce79a52 by wenzelm:
clarified signature;<br>clarified data structures;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_encoding.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
Changeset 75196:e894577e10d8 by wenzelm:
tuned imports;
The file was modified src/Pure/General/codepoint.scala (diff)
Changeset 75195:596e77cda169 by wenzelm:
clarified signature;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/VSCode/src/lsp.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_encoding.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 75194:5a9932dbaf1f by wenzelm:
clarified signature;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
Changeset 75193:d6aa59dde5b3 by wenzelm:
tuned signature;
The file was modified src/Pure/General/symbol.scala (diff)
Changeset 75192:7d680dcd69b1 by wenzelm:
misc tuning, based on suggestions by IntelliJ IDEA;
The file was modified src/Pure/General/symbol.scala (diff)