Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. bundles for floatarith notation
  3. merged
  4. tuned output;
  5. more memory fields;
  6. obsolete;
  7. no more shadowing of Min and Max by Approximation
Changeset 69836:9b4901bda2a7 by immler:
merged
Changeset 69835:b1dfaa25130e by immler:
bundles for floatarith notation
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
Changeset 69834:58ef3b8a8460 by wenzelm:
merged
Changeset 69833:c3500cec8290 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 69832:b614e3e4146a by wenzelm:
more memory fields;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
Changeset 69831:b35c3839d5d1 by wenzelm:
obsolete;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 69830:54d19f1f0ba6 by immler:
no more shadowing of Min and Max by Approximation
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)