Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified modules;
  2. support for file-system operations;
  3. tuned signature;
  4. follow standard Isabelle license --- no longer published on market place;
  5. tuned README;
  6. disregard public marketplace;
  7. tuned imports;
  8. more robust;
  9. merged
  10. tuned message;
  11. clarified module;
  12. tuned comments;
  13. added documentation for new VSCode modules;
  14. proper monospace font for terminal;
  15. merged
  16. tuned;
  17. support system path representations (as in Isabelle/Java/Scala);
  18. auto-update;
  19. more robust;
  20. clarified modules;
  21. clarified rendering;
  22. prefer hardwired locale;
  23. more aggressive activation;
Changeset 75191:fbff7bfd5802 by wenzelm:
clarified modules;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/file.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75190:fa9ca4563d72 by wenzelm:
support for file-system operations;
The file was addedsrc/Tools/VSCode/extension/src/file.ts
Changeset 75189:f304a2a5080f by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75188:f2b93941ee43 by wenzelm:
follow standard Isabelle license --- no longer published on market place;
The file was removedsrc/Tools/VSCode/LICENSE
Changeset 75187:bafa8e6431bc by wenzelm:
tuned README;
The file was modified src/Tools/VSCode/no_extension/README.md (diff)
The file was modified src/Tools/VSCode/no_extension/package-lock.json (diff)
The file was modified src/Tools/VSCode/no_extension/package.json (diff)
Changeset 75186:84532574c209 by wenzelm:
disregard public marketplace;
The file was addedsrc/Tools/VSCode/no_extension/README.md
The file was addedsrc/Tools/VSCode/no_extension/isabelle.png
The file was addedsrc/Tools/VSCode/no_extension/package-lock.json
The file was addedsrc/Tools/VSCode/no_extension/package.json
The file was addedsrc/Tools/VSCode/no_extension/src/extension.ts
The file was addedsrc/Tools/VSCode/no_extension/tsconfig.json
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 75185:69020ce9f172 by wenzelm:
tuned imports;
The file was modified src/Tools/VSCode/extension/src/completion.ts (diff)
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/mapping_fsp.ts (diff)
The file was modified src/Tools/VSCode/extension/src/output_view.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)
Changeset 75184:a806c2dd3d1d by wenzelm:
more robust;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 75183:b0efc5576118 by wenzelm:
merged
Changeset 75182:fae759dcf55f by wenzelm:
tuned message;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 75181:98fbc9accb51 by wenzelm:
clarified module;
The file was addedsrc/Tools/VSCode/extension/src/vscode_lib.ts
The file was modified src/Tools/VSCode/extension/src/abbreviations.ts (diff)
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/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/output_view.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)
Changeset 75180:75695a504822 by wenzelm:
tuned comments;
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/platform.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 75179:549e4fb76724 by fabian huch _huch@in.tum.de_:
added documentation for new VSCode modules;
The file was modified src/Tools/VSCode/extension/src/abbreviations.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/prefix_tree.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/symbol_encoder.ts (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_filesystem/uri_map.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/output_view.ts (diff)
The file was modified src/Tools/VSCode/extension/src/script_decorations.ts (diff)
Changeset 75178:01017b938135 by wenzelm:
proper monospace font for terminal;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75177:74f0110bbd0a by wenzelm:
merged
Changeset 75176:e3388efdacd7 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75175:5651855f570e by wenzelm:
support system path representations (as in Isabelle/Java/Scala);
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75174:671580b6bfbe by wenzelm:
auto-update;
The file was modified src/Tools/VSCode/extension/package-lock.json (diff)
Changeset 75173:7d1864ffad13 by wenzelm:
more robust;
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75172:26ac98871d42 by wenzelm:
clarified modules;
The file was addedsrc/Tools/VSCode/extension/src/platform.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
Changeset 75171:96b26b0d2cc5 by wenzelm:
clarified rendering;
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75170:08b8c0a2d67c by wenzelm:
prefer hardwired locale;
The file was modified lib/Tools/vscode (diff)
Changeset 75169:b61dc9070344 by wenzelm:
more aggressive activation;
The file was modified src/Tools/VSCode/extension/package.json (diff)