Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more permissive, e.g. for system operations as in 678e00851cfb;
  2. tuned;
  3. tuned;
  4. prefer standard getOrElse;
  5. tuned;
  6. tuned;
  7. more operations;
Changeset 65718:79be5b464a16 by wenzelm:
more permissive, e.g. for system operations as in 678e00851cfb;
The file was modified src/Pure/library.scala (diff)
Changeset 65717:556c34fd0554 by wenzelm:
tuned;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 65716:678e00851cfb by wenzelm:
tuned;
The file was modified src/Pure/General/exn.scala (diff)
Changeset 65715:e57e5935c6b4 by wenzelm:
prefer standard getOrElse;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 65714:7693ba6d65bc by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65713:b99b48eb46e5 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 65712:ddd6dfc28e80 by wenzelm:
more operations;
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/library.scala (diff)