Summary
- tuned;
- boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
- merged
- start moving actual Jenkins build scripts into the repository
- tuned order for isar-ref;
The file was modified | src/HOL/Isar_Examples/Schroeder_Bernstein.thy (diff) |
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) |
The file was added | Admin/jenkins/build/ci_build_makeall.scala |
The file was added | Admin/jenkins/build/etc/settings |
The file was added | Admin/jenkins/run_build |
The file was added | src/Pure/Tools/ci_profile.scala |
The file was modified | src/Pure/build-jars (diff) |
The file was modified | lib/texinputs/isabellesym.sty (diff) |