Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified options --- potentially more robust;
  2. tuned message;
  3. clarified signature;
Changeset 71983:694009ed4ee1 by wenzelm:
clarified options --- potentially more robust;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71982:cea6087e8a70 by wenzelm:
tuned message;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71981:0be06f99b210 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)