Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated vscode extension: proper recoding;
  2. tuned vscode extension;
  3. tuned vscode extension: split isabelle fsp into workspace and mapping;
  4. update VSCode plugin dependencies;
  5. added Isabelle output panel to VSCode extension;
  6. Simplified a couple of extremely long and ugly apply-proofs
Changeset 75137:6b29b37de52e by fabian huch _huch@in.tum.de_:
updated vscode extension: proper recoding;
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/uri_map.ts (diff)
Changeset 75136:4c3115f94b6e by fabian huch _huch@in.tum.de_:
tuned vscode extension;
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)
Changeset 75135:8dd7f0130266 by fabian huch _huch@in.tum.de_:
tuned vscode extension: split isabelle fsp into workspace and mapping;
The file was addedsrc/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts
The file was addedsrc/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.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/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/output_view.ts (diff)
The file was removedsrc/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_fsp.ts
Changeset 75134:c04ccea8bdd2 by fabian huch _huch@in.tum.de_:
update VSCode plugin dependencies;
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/preview_panel.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 75133:6df13a4ce259 by fabian huch _huch@in.tum.de_:
added Isabelle output panel to VSCode extension;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75132:e349c2da30d2 by paulson _lp15@cam.ac.uk_:
Simplified a couple of extremely long and ugly apply-proofs
The file was modified src/HOL/Cardinals/Cardinal_Arithmetic.thy (diff)