Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: more operations;
  2. clarified signature: more operations;
Changeset 73611:cc36841eeff6 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73610:6ba5f9d18c56 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)