Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
  3. merged
  4. start moving actual Jenkins build scripts into the repository
  5. tuned order for isar-ref;
Changeset 63291:b1d7950285cf by wenzelm:
tuned;
The file was modified src/HOL/Isar_Examples/Schroeder_Bernstein.thy (diff)
Changeset 63290:9ac558ab0906 by haftmann:
boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
The file was modified NEWS (diff)
The file was modified src/HOL/Groups.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Lattices.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Library/Groups_Big_Fun.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)
Changeset 63289:26134a00d060 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 63288:e0513d6e4916 by lars hupel _lars.hupel@mytum.de_:
start moving actual Jenkins build scripts into the repository
The file was addedAdmin/jenkins/build/ci_build_makeall.scala
The file was addedAdmin/jenkins/build/etc/settings
The file was addedAdmin/jenkins/run_build
The file was addedsrc/Pure/Tools/ci_profile.scala
The file was modified src/Pure/build-jars (diff)
Changeset 63287:0835067b9b39 by wenzelm:
tuned order for isar-ref;
The file was modified lib/texinputs/isabellesym.sty (diff)