Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more strict AFP properties;
  2. tuned signature;
Changeset 69981:3dced198b9ec by wenzelm:
more strict AFP properties;
The file was modified src/Pure/Admin/afp.scala
Changeset 69980:f2e3adfd916f by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/jenkins.scala
The file was modified src/Pure/General/date.scala
The file was modified src/Pure/General/sql.scala