Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#263
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
adjust job/thread count for new hardware
report class parameters within instantiation;
clarified PIDE markup;
tuned;
tuned signature; tuned;
bundle lifting_syntax;
Changeset
63348:b3e5bdb784f5
by
lars hupel _lars.hupel@mytum.de_
:
adjust job/thread count for new hardware
The file was modified
Admin/jenkins/build/ci_build_benchmark.scala
(diff)
The file was modified
Admin/jenkins/build/ci_build_makeall.scala
(diff)
Changeset
63347:e344dc82f6c2
by
wenzelm
:
report class parameters within instantiation;
The file was modified
src/Pure/Isar/class.ML
(diff)
The file was modified
src/Pure/PIDE/markup.ML
(diff)
The file was modified
src/Pure/PIDE/markup.scala
(diff)
The file was modified
src/Tools/jEdit/etc/options
(diff)
The file was modified
src/Tools/jEdit/src/rendering.scala
(diff)
Changeset
63346:c8366fb67538
by
wenzelm
:
clarified PIDE markup;
The file was modified
src/Pure/Isar/generic_target.ML
(diff)
Changeset
63345:70b2313f9c52
by
wenzelm
:
tuned;
The file was modified
src/HOL/Library/simps_case_conv.ML
(diff)
The file was modified
src/Pure/Syntax/syntax.ML
(diff)
Changeset
63344:c9910404cc8a
by
wenzelm
:
tuned signature;<br>tuned;
The file was modified
src/HOL/Library/simps_case_conv.ML
(diff)
The file was modified
src/Pure/Isar/generic_target.ML
(diff)
The file was modified
src/Pure/Isar/local_defs.ML
(diff)
The file was modified
src/Pure/Isar/proof.ML
(diff)
The file was modified
src/Tools/induct.ML
(diff)
Changeset
63343:fb5d8a50c641
by
wenzelm
:
bundle lifting_syntax;
The file was modified
NEWS
(diff)
The file was modified
src/HOL/Filter.thy
(diff)
The file was modified
src/HOL/Groups_List.thy
(diff)
The file was modified
src/HOL/Library/Complete_Partial_Order2.thy
(diff)
The file was modified
src/HOL/Library/Countable_Set_Type.thy
(diff)
The file was modified
src/HOL/Library/FSet.thy
(diff)
The file was modified
src/HOL/Library/Mapping.thy
(diff)
The file was modified
src/HOL/Lifting.thy
(diff)
The file was modified
src/HOL/Lifting_Set.thy
(diff)
The file was modified
src/HOL/List.thy
(diff)
The file was modified
src/HOL/Option.thy
(diff)
The file was modified
src/HOL/Probability/Probability_Mass_Function.thy
(diff)
The file was modified
src/HOL/Probability/SPMF.thy
(diff)
The file was modified
src/HOL/Quotient.thy
(diff)
The file was modified
src/HOL/Quotient_Examples/Lift_FSet.thy
(diff)
The file was modified
src/HOL/Transfer.thy
(diff)
The file was modified
src/HOL/ex/Transfer_Int_Nat.thy
(diff)