Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: allow log to be a symlink;
  2. moved lemmas
Changeset 69199:e5e4de2b93d9 by wenzelm:
more robust: allow log to be a symlink;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69198:9218b7652839 by nipkow:
moved lemmas
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)