Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned message;
  3. more operations;
  4. tuned signature;
  5. more robust install/uninstall; clarified extension_name (again): --locate-extension wants to see a lowercase name;
  6. more formal extension_manifest, with shasum for sources;
  7. tuned;
  8. tuned signature;
  9. clarified signature;
  10. proper usage;
  11. tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
  12. tuned signature;
  13. clarified modules;
  14. tuned signature;
  15. ... and removing Primrec from ROOT too
  16. Removal of the Primrec example in preparation for making it an AFP entry
  17. merged
  18. avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
Changeset 75317:8fcf57708636 by wenzelm:
merged
Changeset 75316:d7f41034a239 by wenzelm:
tuned message;
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75315:5c0ea94757f2 by wenzelm:
more operations;
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75314:f31fbe4e1909 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75313:d07c886a27a9 by wenzelm:
more robust install/uninstall;<br>clarified extension_name (again): --locate-extension wants to see a lowercase name;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75312:e641ac92b489 by wenzelm:
more formal extension_manifest, with shasum for sources;
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75311:5960bae73afe by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75310:42baf7ffa088 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 75309:216c2ac23a84 by wenzelm:
clarified signature;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/General/sha1.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/Setup/src/Build.java (diff)
Changeset 75308:6ed34e2e04dd by wenzelm:
proper usage;
The file was modified Admin/lib/Tools/build_setup (diff)
Changeset 75307:dc1c53d14c38 by wenzelm:
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
The file was modified src/Pure/General/sha1.scala (diff)
Changeset 75306:e8c1d982b275 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
Changeset 75305:171ac44913ca by wenzelm:
clarified modules;
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75304:8f100a957f08 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/build_vscode_extension.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_main.scala (diff)
Changeset 75303:c8a9bf6d9b38 by paulson _lp15@cam.ac.uk_:
... and removing Primrec from ROOT too
The file was modified src/HOL/ROOT (diff)
Changeset 75302:2a916311c376 by paulson _lp15@cam.ac.uk_:
Removal of the Primrec example in preparation for making it an AFP entry
The file was removedsrc/HOL/ex/Primrec.thy
Changeset 75301:b95407ce17d5 by desharna:
merged
Changeset 75300:8adbfeaecbfe by desharna:
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
The file was modified src/HOL/Decision_Procs/Cooper.thy (diff)
The file was modified src/HOL/Tools/Qelim/cooper_procedure.ML (diff)