Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reactivate veriT after changing options in 11f645d25498
  2. renamed constant
  3. merged
  4. discontinued old platforms;
Changeset 72486:e4d707eb7d1b by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
reactivate veriT after changing options in 11f645d25498
The file was modified Admin/components/main (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 72485:a0066948e7df by nipkow:
renamed constant
The file was modified src/HOL/Data_Structures/Queue_2Lists.thy (diff)
The file was modified src/HOL/Data_Structures/Queue_Spec.thy (diff)
Changeset 72484:32ac6d3d1623 by wenzelm:
merged
Changeset 72483:ca6a3ea1f7c4 by wenzelm:
discontinued old platforms;
The file was modified Admin/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)