Summary
- more permissive, e.g. for system operations as in 678e00851cfb;
- tuned;
- tuned;
- prefer standard getOrElse;
- tuned;
- tuned;
- more operations;
The file was modified | src/Pure/library.scala (diff) |
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) |
The file was modified | src/Pure/General/exn.scala (diff) |
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) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
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) |