Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. eliminated some goal_cases
  3. unscrambled has_integral_Union
  4. added options to make veriT more complete
  5. faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
  6. merged
  7. added lemma
  8. more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
Changeset 66562:ad0cefe1e9a9 by paulson:
merged
Changeset 66561:8f12f7e0d997 by paulson _lp15@cam.ac.uk_:
eliminated some goal_cases
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66560:116f658195af by paulson _lp15@cam.ac.uk_:
unscrambled has_integral_Union
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66559:beb48215cda7 by blanchet:
added options to make veriT more complete
The file was modified src/HOL/SMT.thy (diff)
Changeset 66558:37b16f8af351 by wenzelm:
faster check for non-repository, especially relevant for find_repository to avoid repeated invocation of "hg root";
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 66557:b17d41779768 by nipkow:
merged
Changeset 66556:2d24e2c02130 by nipkow:
added lemma
The file was modified src/HOL/Library/Tree_Multiset.thy (diff)
Changeset 66555:39257f39c7da by wenzelm:
more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;
The file was addedsrc/Tools/jEdit/src-base/syntax_style.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)