Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper option;
  2. merged
  3. proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1; ensure connection defaults required for string literals;
  4. Added Kronecker's approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family
  5. merged
  6. prefer Time.scale(), following Isabelle/ML;
  7. proper benchmark command;
  8. merged
  9. proper progress (see also 45d570945fe4);
  10. improved build messages;
Changeset 78893:3645442be6d5 by wenzelm:
proper option;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78892:aaf2cf463e9a by wenzelm:
merged
Changeset 78891:76d1382d6077 by wenzelm:
proper SQL.string syntax, following actual SQL standard instead of historic variations before PostgreSQL 9.1;<br>ensure connection defaults required for string literals;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 78890:d8045bc0544e by paulson _lp15@cam.ac.uk_:
Added Kronecker&#039;s approximation theorem. Requires adding Real_Asymp to HOL-Analysis. Funny syntax issue in Probability/Projective_Family
The file was addedsrc/HOL/Analysis/Kronecker_Approximation_Theorem.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Bounded_Continuous_Function.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy (diff)
The file was modified src/HOL/Probability/Projective_Family.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 78889:88eb92a52f9b by wenzelm:
merged
Changeset 78888:95bbf9a576b3 by wenzelm:
prefer Time.scale(), following Isabelle/ML;
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/Tools/build_schedule.scala (diff)
Changeset 78887:6996a20a1b7c by fabian huch _huch@in.tum.de_:
proper benchmark command;
The file was modified src/Pure/System/benchmark.scala (diff)
Changeset 78886:b82c2f801f2c by wenzelm:
merged
Changeset 78885:9d0faaa77e5d by wenzelm:
proper progress (see also 45d570945fe4);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78884:0233d5a5a4ca by fabian huch _huch@in.tum.de_:
improved build messages;
The file was modified src/Pure/Tools/build_schedule.scala (diff)