Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added int and real
  3. simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
  4. setup option ML_system for special values that cannot be rebound within regular ML;
Changeset 68920:e50312982ba0 by nipkow:
merged
Changeset 68919:027219002f32 by nipkow:
added int and real
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy (diff)
Changeset 68918:3a0db30e5d87 by wenzelm:
simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/lazy.ML (diff)
The file was modified src/Pure/General/pretty.ML (diff)
The file was modified src/Pure/ML/ml_init.ML (diff)
The file was modified src/Pure/ML/ml_pretty.ML (diff)
The file was modified src/Pure/ML_Bootstrap.thy (diff)
Changeset 68917:75691a5c8fb6 by wenzelm:
setup option ML_system for special values that cannot be rebound within regular ML;
The file was modified src/Pure/ML/ml_env.ML (diff)