Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adjust job/thread count for new hardware
  2. report class parameters within instantiation;
  3. clarified PIDE markup;
  4. tuned;
  5. tuned signature; tuned;
  6. 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)