Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: avoid too many aliases;
  2. proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
  3. more robust: avoid detour via somewhat fragile Node.Name.path;
  4. clarified generic path operations;
  5. more flexible: implicit support for Windows;
  6. tuned signature;
  7. clarified output;
  8. tuned;
  9. merged
  10. More tidying
  11. Further cleaning up of messy proofs
  12. merged
  13. reorganisation and simplification of theorems about transcendental functions
Changeset 76831:72daee8a39ca by wenzelm:
tuned signature: avoid too many aliases;
The file was modified src/Pure/Admin/check_sources.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
Changeset 76830:5ab016cbba18 by wenzelm:
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76829:f2a8ba0b8c96 by wenzelm:
more robust: avoid detour via somewhat fragile Node.Name.path;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/browser_info.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76828:a5ff9cf61551 by wenzelm:
clarified generic path operations;
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 76827:a150dd0ebdd3 by wenzelm:
more flexible: implicit support for Windows;
The file was modified src/Pure/General/url.scala (diff)
Changeset 76826:eb3b946bdeff by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
Changeset 76825:65e8a9272837 by wenzelm:
clarified output;
The file was modified src/Pure/PIDE/line.scala (diff)
Changeset 76824:919b0f21e8cc by wenzelm:
tuned;
The file was modified src/Pure/PIDE/line.scala (diff)
Changeset 76823:8a17349143df by paulson:
merged
Changeset 76822:25c0d4c0e110 by paulson _lp15@cam.ac.uk_:
More tidying
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
Changeset 76821:337c2265d8a2 by paulson _lp15@cam.ac.uk_:
Further cleaning up of messy proofs
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
Changeset 76820:8dac373b92bd by paulson:
merged
Changeset 76819:fc4ad2a2b6b1 by paulson _lp15@cam.ac.uk_:
reorganisation and simplification of theorems about transcendental functions
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)