Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. clarified;
  3. support only polyml-5.3.0 and polyml-5.6;
  4. Merged
  5. Minor adjustments to euclidean rings
Changeset 62461:075ef5ec115c by wenzelm:
merged
Changeset 62460:4b2018eb92e8 by wenzelm:
clarified;
The file was addedsrc/Pure/RAW/exn_trace_raw.ML
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was removedsrc/Pure/RAW/exn_trace_dummy.ML
Changeset 62459:7a5d88dd8cc9 by wenzelm:
support only polyml-5.3.0 and polyml-5.6;
The file was addedlib/scripts/run-polyml-5.3.0
The file was addedsrc/Pure/ML/ml_statistics.ML
The file was addedsrc/Pure/RAW/exn_trace.ML
The file was addedsrc/Pure/RAW/exn_trace_dummy.ML
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified lib/scripts/run-polyml (diff)
The file was modified src/Pure/RAW/ROOT_polyml.ML (diff)
The file was modified src/Pure/ROOT (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was removedlib/scripts/run-polyml-5.5.1
The file was removedlib/scripts/run-polyml-5.5.2
The file was removedlib/scripts/run-polyml-5.6
The file was removedsrc/Pure/ML/ml_statistics_polyml-5.5.0.ML
The file was removedsrc/Pure/RAW/ROOT_polyml-5.5.2.ML
The file was removedsrc/Pure/RAW/exn_trace_polyml-5.5.1.ML
Changeset 62458:9590972c2caf by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 62457:a3c7bd201da7 by manuel eberl _eberlm@in.tum.de_:
Minor adjustments to euclidean rings
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)