Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. More homology material
  3. common type class for distributive division
  4. regenerated using isabelle regenerate_cooper
  5. more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
  6. some more explicit document structure
  7. merged
  8. new Homology target, depending on HOL-Algebra and HOL-Analysis
  9. merged
  10. NEWS on homology
  11. First tranche of the Homology development: Simplices [dummy commit to run testboard again]
  12. updated to bib2xhtml-20190409: current repository clone;
  13. proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
  14. back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
  15. tuned -- prefer Isar command 'compile_generated_files';
  16. back to more robust "standard" anti-aliasing (reverting f610115ca3d0): sub-pixel rendering can have odd color effects, even on high-end displays;
Changeset 70096:c4f2cac288d2 by paulson:
merged
Changeset 70095:e8f4ce87012b by paulson _lp15@cam.ac.uk_:
More homology material
The file was addedsrc/HOL/Homology/Brouwer_Degree.thy
The file was addedsrc/HOL/Homology/Homology_Groups.thy
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Homology/Homology.thy (diff)
The file was modified src/HOL/Homology/Simplices.thy (diff)
Changeset 70094:a93e6472ac9c by haftmann:
common type class for distributive division
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/Fields.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 70093:e38900000009 by haftmann:
regenerated using isabelle regenerate_cooper
The file was modified src/HOL/Tools/Qelim/cooper_procedure.ML (diff)
Changeset 70092:a19dd7006a3c by haftmann:
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
The file was addedAdmin/lib/Tools/regenerate_cooper
The file was modified src/HOL/Decision_Procs/Cooper.thy (diff)
Changeset 70091:70841633b3e1 by haftmann:
some more explicit document structure
The file was modified src/HOL/Decision_Procs/Cooper.thy (diff)
Changeset 70090:10fe23659be3 by paulson:
merged
Changeset 70089:eca8611201e9 by paulson _lp15@cam.ac.uk_:
new Homology target, depending on HOL-Algebra and HOL-Analysis
The file was addedsrc/HOL/Homology/Homology.thy
The file was addedsrc/HOL/Homology/Simplices.thy
The file was addedsrc/HOL/Homology/document/root.tex
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Analysis/Simplices.thy
Changeset 70088:187ae5cb2f03 by paulson:
merged
Changeset 70087:2d19e7eb027a by paulson _lp15@cam.ac.uk_:
NEWS on homology
The file was modified NEWS (diff)
Changeset 70086:72c52a897de2 by paulson _lp15@cam.ac.uk_:
First tranche of the Homology development: Simplices<br>[dummy commit to run testboard again]
The file was addedsrc/HOL/Analysis/Simplices.thy
The file was modified src/HOL/Analysis/Abstract_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Convex.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 70085:23c0dfa39dce by wenzelm:
updated to bib2xhtml-20190409: current repository clone;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 70084:f9d8f78ef687 by wenzelm:
proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 70083:96776eb41854 by wenzelm:
back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel);
The file was modified Admin/components/main (diff)
The file was modified src/Pure/GUI/color_value.scala (diff)
Changeset 70082:4f936de6d9b8 by wenzelm:
tuned -- prefer Isar command &#039;compile_generated_files&#039;;
The file was modified NEWS (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
Changeset 70081:093ab1a99eb6 by wenzelm:
back to more robust &quot;standard&quot; anti-aliasing (reverting f610115ca3d0): sub-pixel rendering can have odd color effects, even on high-end displays;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)