Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer Isabelle standard Path;
  2. clarified logs;
  3. publish directly on webspace;
Changeset 64220:e7cbf81ec4b7 by wenzelm:
prefer Isabelle standard Path;
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)
Changeset 64219:c1af670cbe7e by wenzelm:
clarified logs;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64218:f318cb6ba511 by wenzelm:
publish directly on webspace;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)