Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Restored Riemann_Mapping as an import of Complex_Analysis
  3. proper file headers;
  4. clarified modules;
  5. merged
  6. database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
  7. tuned signature: more operations;
  8. clarified signature: more explicit types;
  9. tuned signature;
  10. removed somewhat pointless check;
  11. tuned signature: fewer warnings in IntelliJ IDEA;
  12. merged
  13. Fixed a latex error in the markup
Changeset 79876:3d02d5d4a43c by paulson:
merged
Changeset 79875:0e9a809dc0b2 by paulson _lp15@cam.ac.uk_:
Restored Riemann_Mapping as an import of Complex_Analysis
The file was modified src/HOL/Complex_Analysis/Complex_Analysis.thy (diff)
Changeset 79874:1e7b5a258bc5 by wenzelm:
proper file headers;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
The file was modified src/Pure/Build/build_benchmark.scala (diff)
Changeset 79873:6c19c29ddcbe by wenzelm:
clarified modules;
The file was addedsrc/Pure/Build/database_progress.scala
The file was addedsrc/Pure/System/program_progress.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
Changeset 79872:85ff8d62c414 by wenzelm:
merged
Changeset 79871:630a82f87310 by wenzelm:
database performance tuning: pull changed entries only, based on recorded updates (see 98d65411bfdb);
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79870:510fe8c3d9b8 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/library.scala (diff)
Changeset 79869:ea335307d45e by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 79868:ede8b298cfe8 by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79867:741b52cb497c by wenzelm:
removed somewhat pointless check;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79866:75871d47e400 by wenzelm:
tuned signature: fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79865:53d0d2860ed8 by paulson:
merged
Changeset 79864:fed0a3c60e2b by paulson _lp15@cam.ac.uk_:
Fixed a latex error in the markup
The file was modified src/HOL/Complex_Analysis/Meromorphic.thy (diff)