Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. moved relevant theorems from theory Divides to theory Euclidean_Division
  2. amend jenkins ci build;
  3. restructured ci profile into modular ci build system;
Changeset 76224:64e8d4afcf10 by haftmann:
moved relevant theorems from theory Divides to theory Euclidean_Division
The file was modified src/HOL/Divides.thy
The file was modified src/HOL/Euclidean_Division.thy
The file was modified src/HOL/Groebner_Basis.thy
The file was modified src/HOL/Main.thy
The file was modified src/HOL/Number_Theory/Cong.thy
The file was modified src/HOL/Numeral_Simprocs.thy
The file was modified src/HOL/Set_Interval.thy
Changeset 76223:be91db94e526 by fabian huch _huch@in.tum.de_:
amend jenkins ci build;
The file was modified Admin/jenkins/run_build
Changeset 76222:3c4e373922ca by fabian huch _huch@in.tum.de_:
restructured ci profile into modular ci build system;
The file was addedsrc/Pure/Admin/ci_build.scala
The file was modified Admin/jenkins/run_build
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Admin/ci_build_benchmark.scala
The file was removedsrc/Pure/Admin/ci_profile.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. adjust Stalnaker_Logic to changes in Epistemic_Logic;
  2. adjusted to distribution
  3. remove duplicate code;
  4. restructure afp ci builds (see Isabelle/3c4e373922ca)
Changeset 13057:56381425e759 by fabian huch _huch@in.tum.de_:
adjust Stalnaker_Logic to changes in Epistemic_Logic;
The file was modified thys/Stalnaker_Logic/Stalnaker_Logic.thy
Changeset 13056:474696083e43 by haftmann:
adjusted to distribution
The file was modified thys/CryptHOL/Cyclic_Group.thy
The file was modified thys/Diophantine_Eqns_Lin_Hom/List_Vector.thy
The file was modified thys/TortoiseHare/Basis.thy
The file was modified thys/VerifyThis2018/Challenge3.thy
Changeset 13055:6fce8550ee97 by fabian huch _huch@in.tum.de_:
remove duplicate code;
The file was modified tools/afp_build.scala
Changeset 13054:4c631c22d1d2 by fabian huch _huch@in.tum.de_:
restructure afp ci builds (see Isabelle/3c4e373922ca)
The file was modified etc/build.props
The file was modified tools/afp_build.scala
The file was modified tools/afp_tool.scala