Changes

Summary

merged
updates to Algebra from Baillon and de Vilhena
use correct hostname
Jenkins: detect machine; adjust job parameters accordingly
Jenkins: tuned profiles
merged
simplified proofs
Jenkins: delete obsolete profile

Changeset 69123:26f107629b1f by paulson: merged
Changeset 69122:1b5178abaf97 by paulson _lp15@cam.ac.uk_: updates to Algebra from Baillon and de Vilhena
The file was added	`src/HOL/Algebra/Weak_Morphisms.thy`
The file was modified	`src/HOL/Algebra/Chinese_Remainder.thy` (diff)
The file was modified	`src/HOL/Algebra/Coset.thy` (diff)
The file was modified	`src/HOL/Algebra/Cycles.thy` (diff)
The file was modified	`src/HOL/Algebra/Embedded_Algebras.thy` (diff)
The file was modified	`src/HOL/Algebra/Generated_Groups.thy` (diff)
The file was modified	`src/HOL/Algebra/Group.thy` (diff)
The file was modified	`src/HOL/Algebra/Ideal.thy` (diff)
The file was modified	`src/HOL/Algebra/QuotRing.thy` (diff)
The file was modified	`src/HOL/Algebra/Solvable_Groups.thy` (diff)
The file was modified	`src/HOL/Algebra/Subrings.thy` (diff)
The file was modified	`src/HOL/Algebra/Sym_Groups.thy` (diff)
Changeset 69121:842958af0400 by lars hupel _lars.hupel@mytum.de_: use correct hostname
The file was modified	`src/Pure/Admin/ci_profile.scala` (diff)
Changeset 69120:9d3b41732fe0 by lars hupel _lars.hupel@mytum.de_: Jenkins: detect machine; adjust job parameters accordingly
The file was modified	`src/Pure/Admin/ci_profile.scala` (diff)
Changeset 69119:088d38704913 by lars hupel _lars.hupel@mytum.de_: Jenkins: tuned profiles
The file was added	`Admin/jenkins/build/ci_build_mac.scala`
The file was modified	`Admin/jenkins/build/ci_build_benchmark.scala` (diff)
The file was removed	`Admin/jenkins/build/ci_build_makeall_seq.scala`
Changeset 69118:12dce58bcd3f by nipkow: merged
Changeset 69117:3d3e87835ae8 by nipkow: simplified proofs
The file was modified	`src/HOL/Library/Tree.thy` (diff)
The file was modified	`src/HOL/Library/Tree_Real.thy` (diff)
Changeset 69116:cbcc43a00cff by lars hupel _lars.hupel@mytum.de_: Jenkins: delete obsolete profile
The file was removed	`Admin/jenkins/build/ci_build_makeall.scala`