Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. decomposed tuple
  2. tuned
  3. clarified message
Changeset 66024:77d9334830ec by haftmann:
decomposed tuple
The file was modified src/Pure/Isar/code.ML (diff)
Changeset 66023:22ef720a92b0 by haftmann:
tuned
The file was modified src/Pure/Isar/code.ML (diff)
Changeset 66022:cc8e9289a6c4 by haftmann:
clarified message
The file was modified src/Pure/Isar/code.ML (diff)