Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. NEWS; tuned comment;
  2. merged
  3. merged
  4. improved platform coverage: macbroy30, macbroy31; slightly improved performance on lxbroy10;
  5. eliminated unused argument;
  6. accomodate Poly/ML repository version, which treats singleton strings as boxed;
  7. re-use "threads" for --gcthreads;
  8. merged
  9. setprod -> prod
Changeset 64280:7ad033e28dbd by wenzelm:
NEWS;<br>tuned comment;
The file was modified NEWS (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64279:a65ff5a84296 by wenzelm:
merged
Changeset 64278:298a6df049f0 by wenzelm:
merged
Changeset 64277:5ca4ac099e94 by wenzelm:
improved platform coverage: macbroy30, macbroy31;<br>slightly improved performance on lxbroy10;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64276:622f4e4ac388 by wenzelm:
eliminated unused argument;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/multithreading.ML (diff)
The file was modified src/Pure/Concurrent/single_assignment.ML (diff)
The file was modified src/Pure/Concurrent/synchronized.ML (diff)
Changeset 64275:ac2abc987cf9 by wenzelm:
accomodate Poly/ML repository version, which treats singleton strings as boxed;
The file was modified src/Pure/General/sha1.ML (diff)
The file was modified src/Pure/General/symbol.ML (diff)
The file was modified src/Pure/ML/ml_lex.ML (diff)
The file was modified src/Pure/PIDE/yxml.ML (diff)
The file was modified src/Pure/Syntax/lexicon.ML (diff)
The file was modified src/Pure/library.ML (diff)
Changeset 64274:c8990e5feac9 by wenzelm:
re-use &quot;threads&quot; for --gcthreads;
The file was modified NEWS (diff)
The file was modified src/Pure/Tools/ml_process.scala (diff)
Changeset 64273:2e94501cbc34 by nipkow:
merged
Changeset 64272:f76b6dda2e56 by nipkow:
setprod -&gt; prod
The file was modified src/Doc/Main/Main_Doc.thy (diff)
The file was modified src/HOL/Algebra/IntRing.thy (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Determinants.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Finite_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Generalised_Binomial_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/Analysis/ex/Approximations.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Library/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Library/Groups_Big_Fun.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset_Permutations.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Polynomial_FPS.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Lifting_Set.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Nat_Transfer.thy (diff)
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Euler.thy (diff)
The file was modified src/HOL/Old_Number_Theory/EulerFermat.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Finite2.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Int2.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Residues.thy (diff)
The file was modified src/HOL/Old_Number_Theory/WilsonBij.thy (diff)
The file was modified src/HOL/Old_Number_Theory/WilsonRuss.thy (diff)
The file was modified src/HOL/Probability/Central_Limit_Theorem.thy (diff)
The file was modified src/HOL/Probability/Independent_Family.thy (diff)
The file was modified src/HOL/Probability/Infinite_Product_Measure.thy (diff)
The file was modified src/HOL/Probability/Probability_Measure.thy (diff)
The file was modified src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy (diff)
The file was modified src/HOL/Rat.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
The file was modified src/HOL/ex/Birthday_Paradox.thy (diff)
The file was modified src/HOL/ex/Sum_of_Powers.thy (diff)