Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. reorient -> split; documented split
  3. merged
  4. Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
  5. merged
  6. resolution of name clashes in Algebra
  7. merged
  8. isabelle update_comments;
  9. tuned header;
  10. updated for release;
  11. updated for release;
  12. misc tuning and updates for release;
  13. updated for release;
  14. updated for release; tuned;
  15. eliminated suspicious Unicode;
  16. proper white space;
  17. updated to sqlite-jdbc-3.23.1;
  18. merged
  19. Keep filter input syntax
Changeset 68404:05605481935d by nipkow:
merged
Changeset 68403:223172b97d0b by nipkow:
reorient -> split; documented split
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/FPS_Convergence.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Interval_Integral.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Regularity.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/Pure/raw_simplifier.ML (diff)
The file was modified src/Pure/simplifier.ML (diff)
Changeset 68402:76edba1c428c by wenzelm:
merged
Changeset 68401:cd53ad6e7d96 by wenzelm:
Added tag Isabelle2018-RC0 for changeset 194fa3d2d6a4
The file was modified .hgtags (diff)
Changeset 68400:cada19e0c6c7 by paulson:
merged
Changeset 68399:0b71d08528f0 by paulson _lp15@cam.ac.uk_:
resolution of name clashes in Algebra
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/IntRing.thy (diff)
The file was modified src/HOL/Algebra/More_Group.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
The file was modified src/HOL/Algebra/Sylow.thy (diff)
Changeset 68398:194fa3d2d6a4 by wenzelm:
merged
Changeset 68397:cace81744c61 by wenzelm:
isabelle update_comments;
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Vector_Spaces.thy (diff)
Changeset 68396:7433ee1ed7e3 by wenzelm:
tuned header;
The file was modified src/Pure/General/cache.scala (diff)
Changeset 68395:76a0f3bafb16 by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src-base/Isabelle_Base.props (diff)
Changeset 68394:bc2fd0e2047e by wenzelm:
updated for release;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 68393:b9989df11c78 by wenzelm:
misc tuning and updates for release;
The file was modified NEWS (diff)
Changeset 68392:b2510432c94d by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 68391:9b4f60bdad54 by wenzelm:
updated for release;<br>tuned;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
The file was modified NEWS (diff)
Changeset 68390:c558a2202f32 by wenzelm:
eliminated suspicious Unicode;
The file was modified src/HOL/Library/Code_Lazy.thy (diff)
Changeset 68389:1c84a8c513af by wenzelm:
proper white space;
The file was modified src/HOL/Parity.thy (diff)
Changeset 68388:eb9d7e8708d5 by wenzelm:
updated to sqlite-jdbc-3.23.1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68387:691c02d1699b by nipkow:
merged
Changeset 68386:98cf1c823c48 by nipkow:
Keep filter input syntax
The file was modified src/Doc/Tutorial/Inductive/AB.thy (diff)
The file was modified src/HOL/Library/AList.thy (diff)
The file was modified src/HOL/Library/Finite_Map.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/MicroJava/DFA/Kildall.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVComplete.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVCorrect.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVSpec.thy (diff)
The file was modified src/HOL/MicroJava/DFA/SemilatAlg.thy (diff)
The file was modified src/HOL/Nitpick_Examples/Manual_Nits.thy (diff)
The file was modified src/HOL/Nominal/Examples/W.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy (diff)
The file was modified src/HOL/Quotient_Examples/Quotient_FSet.thy (diff)
The file was modified src/HOL/Random.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)
The file was modified src/HOL/ex/Radix_Sort.thy (diff)