Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249);
  2. clarified symbolic path;
  3. clarified extension name (again);
  4. removed obsolete material;
  5. update scripts, based on recent "yo code" template;
  6. clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);
  7. clarified signature;
  8. clarified extension name;
  9. clarified signature;
  10. clarified signature;
  11. clarified options;
  12. support local .vsix installation; discontinued publishing to VSCode Marketplace, which will become obsolete eventually;
  13. formal record of generated package-lock.json;
  14. pro-forma update of version, for ongoing development;
  15. updated notes on Isabelle/VSCode development;
  16. proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
Changeset 75154:3b5aa38282bd by wenzelm:
proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249);
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
Changeset 75153:e7b7764d0977 by wenzelm:
clarified symbolic path;
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75152:1011ae2b524c by wenzelm:
clarified extension name (again);
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75151:ef4ab304cc94 by wenzelm:
removed obsolete material;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 75150:6f3f1e13e1e3 by wenzelm:
update scripts, based on recent "yo code" template;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75149:105820b79d8f by wenzelm:
clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);
The file was modified src/Tools/VSCode/extension/package-lock.json (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75148:90678a1929a3 by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75147:f9d2a9e94138 by wenzelm:
clarified extension name;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/extension/package-lock.json (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75146:1ef43607aef2 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75145:e721880779be by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 75144:883d610a1a91 by wenzelm:
clarified options;
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75143:4b740c1740eb by wenzelm:
support local .vsix installation;<br>discontinued publishing to VSCode Marketplace, which will become obsolete eventually;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 75142:58f92263495e by wenzelm:
formal record of generated package-lock.json;
The file was addedsrc/Tools/VSCode/extension/package-lock.json
Changeset 75141:d65728c611f7 by wenzelm:
pro-forma update of version, for ongoing development;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75140:4400eeb6c32d by wenzelm:
updated notes on Isabelle/VSCode development;
The file was modified src/Tools/VSCode/README.md (diff)
Changeset 75139:177d6af44b34 by wenzelm:
proper engines.vscode (amending c04ccea8bdd2): required for &quot;vsce package&quot;, e.g. via &quot;isabelle build_vscode;
The file was modified src/Tools/VSCode/extension/package.json (diff)