Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer Isabelle/Scala operations;
  2. merged
  3. clarified IO, following Java 11 and Isabelle/Scala;
  4. prefer Scala operations;
  5. minor tuning;
  6. switched to statically compiled ci profile;
  7. more operations on Bytes.T;
  8. more operations on Bytes.T;
  9. tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
  10. strict bounds for BNFs (by Jan van Brügge)
Changeset 75633:f5015fa7cb19 by wenzelm:
prefer Isabelle/Scala operations;
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 75632:e4bbe0b9288d by wenzelm:
merged
Changeset 75631:809c37bfd823 by wenzelm:
clarified IO, following Java 11 and Isabelle/Scala;
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 75630:e3aa7214eb1a by wenzelm:
prefer Scala operations;
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 75629:11e233ba53c8 by wenzelm:
minor tuning;
The file was modified src/Pure/Admin/ci_build_benchmark.scala (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 75628:6a5e4f17f285 by fabian huch _huch@in.tum.de_:
switched to statically compiled ci profile;
The file was addedsrc/Pure/Admin/ci_build_benchmark.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedAdmin/jenkins/build/ci_build_benchmark.scala
Changeset 75627:c8263ac985e1 by wenzelm:
more operations on Bytes.T;
The file was modified src/Pure/PIDE/protocol.ML (diff)
Changeset 75626:4879d0021185 by wenzelm:
more operations on Bytes.T;
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/yxml.ML (diff)
The file was modified src/Pure/System/options.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 75625:0dd3ac5fdbaa by traytel:
tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/HOL/BNF_Cardinal_Arithmetic.thy (diff)
The file was modified src/HOL/Basic_BNFs.thy (diff)
The file was modified src/HOL/Cardinals/Bounded_Set.thy (diff)
The file was modified src/HOL/Library/Countable_Set_Type.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_comp_tactics.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp.ML (diff)
Changeset 75624:22d1c5f2b9f4 by traytel:
strict bounds for BNFs (by Jan van Brügge)
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/HOL/BNF_Cardinal_Arithmetic.thy (diff)
The file was modified src/HOL/BNF_Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/BNF_Composition.thy (diff)
The file was modified src/HOL/BNF_Greatest_Fixpoint.thy (diff)
The file was modified src/HOL/BNF_Wellorder_Constructions.thy (diff)
The file was modified src/HOL/BNF_Wellorder_Relation.thy (diff)
The file was modified src/HOL/Basic_BNFs.thy (diff)
The file was modified src/HOL/Cardinals/Bounded_Set.thy (diff)
The file was modified src/HOL/Cardinals/Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/Cardinals/Fun_More.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Fun.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/Multiset.thy (diff)
The file was modified src/HOL/Library/Uprod.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_comp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_comp_tactics.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_def.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_util.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_tactics.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_gfp_util.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_lfp.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_lfp_tactics.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_lift.ML (diff)
The file was modified src/HOL/Tools/BNF/bnf_util.ML (diff)