Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated user name;
  2. clarified message;
  3. clarified message;
  4. more uniform id;
  5. prefer non-strict defaults;
  6. clarified default;
  7. tuned;
Changeset 67868:35b1b23fd4d4 by wenzelm:
updated user name;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67867:fb66d099adb2 by wenzelm:
clarified message;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67866:11e4060bcdca by wenzelm:
clarified message;
The file was modified Admin/lib/Tools/makedist (diff)
The file was modified README (diff)
The file was modified lib/Tools/version (diff)
The file was modified src/Pure/System/distribution.ML (diff)
The file was modified src/Pure/System/distribution.scala (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 67865:ab0b8e388967 by wenzelm:
more uniform id;
The file was modified lib/Tools/version (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 67864:449ed1afa056 by wenzelm:
prefer non-strict defaults;
The file was modified src/Pure/General/json.scala (diff)
Changeset 67863:1805960b4a9f by wenzelm:
clarified default;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67862:20a0e0ea6237 by wenzelm:
tuned;
The file was modified src/Pure/Tools/server_commands.scala (diff)