Summary
- maintain build_log database;
- exclude special log files;
- tuned;
- tuned;
- ssh_close for proper termination after use of database;
- some documentation;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/System/invoke_scala.scala (diff) |
The file was modified | src/Pure/PIDE/rendering.scala (diff) |
The file was modified | src/Pure/Admin/build_log.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 added | Admin/build_log/README |