Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. separated treatment of undefined bodys
  2. tuned arguments
  3. modernized handling of variables
  4. structurally tuned
  5. tuned names
  6. prefer build combinator
  7. tuned whitespace
Changeset 75358:75c69cbffe5f by haftmann:
separated treatment of undefined bodys
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75357:9257e7732766 by haftmann:
tuned arguments
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75356:fa014f31f208 by haftmann:
modernized handling of variables
The file was modified src/Tools/Code/code_haskell.ML (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_printer.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75355:26206ade1a23 by haftmann:
structurally tuned
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75354:cbefaa400da2 by haftmann:
tuned names
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75353:05f7f5454cb6 by haftmann:
prefer build combinator
The file was modified src/Pure/Isar/code.ML (diff)
The file was modified src/Tools/Code/code_namespace.ML (diff)
The file was modified src/Tools/Code/code_preproc.ML (diff)
The file was modified src/Tools/Code/code_printer.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 75352:96c19d03b5a5 by haftmann:
tuned whitespace
The file was modified src/Tools/Code/code_thingol.ML (diff)