Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned output;
  2. update File_Model based on file-system events;
  3. tuned;
  4. clarified modules; tuned;
  5. tuned;
  6. tuned signature;
  7. merged
  8. fix problems because of "surj" input abbreviation; tuned
  9. hide global sum
  10. gcd/lcm on finite sets
  11. moved some lemmas to appropriate places
  12. slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
  13. fixed LaTeX problems
  14. Jordan Curve Theorem
  15. Advanced topology
Changeset 64859:e600cfdc9e97 by wenzelm:
tuned output;
The file was modified src/Pure/General/file_watcher.scala (diff)
Changeset 64858:e31cf6eaecb8 by wenzelm:
update File_Model based on file-system events;
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 64857:316d703f741d by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64856:5e9bf964510a by wenzelm:
clarified modules;<br>tuned;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 64855:8fcc23e8e1d9 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 64854:f5aa712e6250 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/batch_session.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 64853:9178214b3588 by nipkow:
merged
Changeset 64852:f3504bc69ea3 by nipkow:
fix problems because of &quot;surj&quot; input abbreviation; tuned
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/document/intro-isabelle.tex (diff)
Changeset 64851:33aab75ff423 by nipkow:
hide global sum
The file was modified src/HOL/IMP/Hoare_Examples.thy (diff)
Changeset 64850:fc9265882329 by haftmann:
gcd/lcm on finite sets
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
Changeset 64849:766db3539859 by haftmann:
moved some lemmas to appropriate places
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Rat.thy (diff)
Changeset 64848:c50db2128048 by haftmann:
slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 64847:54f5afc9c413 by paulson _lp15@cam.ac.uk_:
fixed LaTeX problems
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
Changeset 64846:de4e3df6693d by paulson _lp15@cam.ac.uk_:
Jordan Curve Theorem
The file was addedsrc/HOL/Analysis/Jordan_Curve.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
Changeset 64845:e5d4bc2016a6 by paulson _lp15@cam.ac.uk_:
Advanced topology
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)