Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned signature;
  2. clarified modules;
Changeset 62495:83db706d7771 by wenzelm:
tuned signature;
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_compiler.ML (diff)
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_sml.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/ML/ml_env.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Spec_Check/spec_check.ML (diff)
Changeset 62494:b90109b2487c by wenzelm:
clarified modules;
The file was addedsrc/Pure/RAW/ml_compiler0.ML
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_compiler.ML (diff)
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_sml.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
The file was modified src/Pure/ML/ml_env.ML (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 modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Spec_Check/spec_check.ML (diff)
The file was removedsrc/Pure/RAW/compiler_polyml.ML