Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to post-release mode -- after fork point;
  2. Added tag Isabelle2018-RC2 for changeset 14167c321d22
  3. tuned;
  4. eliminated spurious Unicode;
  5. merged
  6. updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
  7. Moved Real_Asymp manual
  8. merged
  9. updated to polyml-5.7.1-7 (see also afa7c5a239e6);
  10. merged
  11. de-applying
  12. avoid Unicode conflict with \<pounds>;
  13. fixing a theorem statement, etc.
  14. merged
  15. de-applying and removing junk
Changeset 68683:d69127c6e80f by wenzelm:
back to post-release mode -- after fork point;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 68682:89e05bd572c6 by wenzelm:
Added tag Isabelle2018-RC2 for changeset 14167c321d22
The file was modified .hgtags (diff)
Changeset 68681:14167c321d22 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 68680:0a0e68369586 by wenzelm:
eliminated spurious Unicode;
The file was modified src/HOL/Real_Asymp/Manual/Real_Asymp_Doc.thy (diff)
The file was modified src/HOL/Real_Asymp/Real_Asymp_Examples.thy (diff)
Changeset 68679:2a20b315a44d by wenzelm:
merged
Changeset 68678:daf21cb6ebc1 by wenzelm:
updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68677:99b1cf1e2d48 by eberlm _eberlm@in.tum.de_:
Moved Real_Asymp manual
The file was addedsrc/HOL/Real_Asymp/Manual/Real_Asymp_Doc.thy
The file was addedsrc/HOL/Real_Asymp/Manual/document/root.tex
The file was addedsrc/HOL/Real_Asymp/Manual/document/style.sty
The file was modified src/Doc/ROOT (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/Doc/Real_Asymp/Real_Asymp_Doc.thy
The file was removedsrc/Doc/Real_Asymp/document/root.tex
The file was removedsrc/Doc/Real_Asymp/document/style.sty
Changeset 68676:74cb08ff2e66 by wenzelm:
merged
Changeset 68675:4535a45182d5 by wenzelm:
updated to polyml-5.7.1-7 (see also afa7c5a239e6);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
The file was modified src/Pure/Concurrent/synchronized.ML (diff)
Changeset 68674:f4ac69fe4509 by paulson:
merged
Changeset 68673:22d10f94811e by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Algebra/QuotRing.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
Changeset 68672:9247996782c9 by wenzelm:
avoid Unicode conflict with \&lt;pounds&gt;;
The file was modified src/HOL/TPTP/TPTP_Parser_Test.thy (diff)
Changeset 68671:205749fba102 by paulson _lp15@cam.ac.uk_:
fixing a theorem statement, etc.
The file was modified src/HOL/MacLaurin.thy (diff)
Changeset 68670:c51ede74c0b2 by paulson:
merged
Changeset 68669:7ddf297cfcde by paulson _lp15@cam.ac.uk_:
de-applying and removing junk
The file was modified src/HOL/MacLaurin.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)