Summary
- prefer Isabelle standard Path;
- clarified logs;
- publish directly on webspace;
The file was modified | src/Pure/Admin/build_doc.scala (diff) |
The file was modified | src/Pure/Admin/build_stats.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/file.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |