Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. actually decode/encode symbols;
  2. merged
  3. prefer yarn over npm;
  4. more accurate .hgignore;
  5. clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
  6. tuned messages;
  7. proper init_resources for macos;
  8. clarified names;
  9. clarified modules: vscode vs. extension; clarified signature;
  10. inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
  11. more operations;
  12. tuned comments; tuned messages;
  13. patch VSCode source tree to support isabelle_encoding.ts;
  14. more robust, pass "yarn valid-layers-check";
  15. clarified directories;
  16. patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
  17. fit into vscode source conventions;
Changeset 75261:ed83c58c612a by wenzelm:
actually decode/encode symbols;
The file was modified src/Tools/VSCode/patches/isabelle_encoding.ts (diff)
Changeset 75260:5a15a2ceafdf by wenzelm:
merged
Changeset 75259:fd44e4559adb by wenzelm:
prefer yarn over npm;
The file was addedsrc/Tools/VSCode/extension/.yarnrc
The file was addedsrc/Tools/VSCode/extension/yarn.lock
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was removedsrc/Tools/VSCode/extension/package-lock.json
Changeset 75258:8d09013d8c68 by wenzelm:
more accurate .hgignore;
The file was modified .hgignore (diff)
Changeset 75257:d1e5f9dbf885 by wenzelm:
clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
The file was modified lib/Tools/vscode (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75256:5055c0cdabc9 by wenzelm:
tuned messages;
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75255:d192b0a8b620 by wenzelm:
proper init_resources for macos;
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75254:0c9752726e9d by wenzelm:
clarified names;
The file was addedsrc/Tools/VSCode/src/build_vscode_extension.scala
The file was modified etc/build.props (diff)
The file was modified src/Tools/VSCode/README.md (diff)
The file was removedsrc/Tools/VSCode/src/build_vscode.scala
Changeset 75253:1b1b60db9dda by wenzelm:
clarified modules: vscode vs. extension;<br>clarified signature;
The file was addedsrc/Tools/VSCode/patches/isabelle_encoding.ts
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
The file was removedsrc/Tools/VSCode/extension/src/isabelle_encoding.ts
Changeset 75252:41dfe941c3da by wenzelm:
inline Isabelle symbols into source text, so that &quot;isabelle vscode&quot; can start up properly without access to process.env or fs;
The file was modified lib/Tools/vscode (diff)
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Tools/VSCode/etc/settings (diff)
The file was modified src/Tools/VSCode/extension/src/isabelle_encoding.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_setup.scala (diff)
Changeset 75251:598b4a1f61dc by wenzelm:
more operations;
The file was modified src/Tools/VSCode/extension/src/file.ts (diff)
Changeset 75250:e1dd62dd5540 by wenzelm:
tuned comments;<br>tuned messages;
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75249:8142e75320f6 by wenzelm:
patch VSCode source tree to support isabelle_encoding.ts;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscodium.scala (diff)
Changeset 75248:b57efe7fe1d3 by wenzelm:
more robust, pass &quot;yarn valid-layers-check&quot;;
The file was modified src/Tools/VSCode/extension/src/isabelle_encoding.ts (diff)
Changeset 75247:4a9809ee1a85 by wenzelm:
clarified directories;
The file was addedsrc/Tools/VSCode/src/build_vscodium.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedsrc/Pure/Admin/build_vscodium.scala
Changeset 75246:f32e5d4cf1a3 by wenzelm:
patch for vscode encoding &quot;UTF-8-Isabelle&quot;: clone of &quot;utf8&quot;, no symbols yet;
The file was addedsrc/Tools/VSCode/patches/isabelle_encoding.patch
The file was modified src/Tools/VSCode/extension/src/isabelle_encoding.ts (diff)
Changeset 75245:0fc0ed9a3ad7 by wenzelm:
fit into vscode source conventions;
The file was modified src/Tools/VSCode/extension/src/isabelle_encoding.ts (diff)