Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. repaired whitespace accident from 2505cabfc515
  2. proper namespace for evaluators
  3. tuned
  4. more correct name resolving
  5. skip abstract constructors silently in datatype clauses of computations
  6. removed para about 'old_datatype' in docs
Changeset 67331:a8770603a269 by haftmann:
repaired whitespace accident from 2505cabfc515
The file was modified src/Pure/thm.ML (diff)
Changeset 67330:2505cabfc515 by haftmann:
proper namespace for evaluators
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/Tools/value_command.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 67329:eabcd2e2bc9b by haftmann:
tuned
The file was modified src/HOL/Tools/simpdata.ML (diff)
Changeset 67328:5ca7bb565ea2 by haftmann:
more correct name resolving
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 67327:89be5a4f514b by haftmann:
skip abstract constructors silently in datatype clauses of computations
The file was modified src/Doc/Codegen/Computations.thy (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
Changeset 67326:17fdb2c98083 by blanchet:
removed para about 'old_datatype' in docs
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)