Summary
- moved relevant theorems from theory Divides to theory Euclidean_Division
- amend jenkins ci build;
- restructured ci profile into modular ci build system;
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Euclidean_Division.thy (diff) |
The file was modified | src/HOL/Groebner_Basis.thy (diff) |
The file was modified | src/HOL/Main.thy (diff) |
The file was modified | src/HOL/Number_Theory/Cong.thy (diff) |
The file was modified | src/HOL/Numeral_Simprocs.thy (diff) |
The file was modified | src/HOL/Set_Interval.thy (diff) |
The file was modified | Admin/jenkins/run_build (diff) |
The file was added | src/Pure/Admin/ci_build.scala |
The file was modified | Admin/jenkins/run_build (diff) |
The file was modified | etc/build.props (diff) |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was removed | src/Pure/Admin/ci_build_benchmark.scala |
The file was removed | src/Pure/Admin/ci_profile.scala |