Summary
- merged
- clarified;
- support only polyml-5.3.0 and polyml-5.6;
- Merged
- Minor adjustments to euclidean rings
The file was added | src/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 removed | src/Pure/RAW/exn_trace_dummy.ML |
The file was added | lib/scripts/run-polyml-5.3.0 |
The file was added | src/Pure/ML/ml_statistics.ML |
The file was added | src/Pure/RAW/exn_trace.ML |
The file was added | src/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 removed | lib/scripts/run-polyml-5.5.1 |
The file was removed | lib/scripts/run-polyml-5.5.2 |
The file was removed | lib/scripts/run-polyml-5.6 |
The file was removed | src/Pure/ML/ml_statistics_polyml-5.5.0.ML |
The file was removed | src/Pure/RAW/ROOT_polyml-5.5.2.ML |
The file was removed | src/Pure/RAW/exn_trace_polyml-5.5.1.ML |
The file was modified | src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff) |