Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
  2. provide cvc5-1.0.2 (inactive);
  3. tuned output;
  4. tool to build Isabelle component for cvc5;
  5. tuned: avoid odd stateful programming;
Changeset 76020:04ce6cf2bd3b by wenzelm:
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/VSCode/etc/settings (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 76019:f3d8da992445 by wenzelm:
provide cvc5-1.0.2 (inactive);
The file was modified Admin/components/components.sha1 (diff)
Changeset 76018:8e796c204b87 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_cvc5.scala (diff)
Changeset 76017:9ca22009c2d0 by wenzelm:
tool to build Isabelle component for cvc5;
The file was addedsrc/Pure/Admin/build_cvc5.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76016:b07f2ff55144 by wenzelm:
tuned: avoid odd stateful programming;
The file was modified src/Pure/Thy/sessions.scala (diff)