Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. More explicit type information in dictionary arguments.
  2. tuned
  3. tuned whitespace
  4. more uniform approach towards satisfied applications
  5. more uniform approach towards satisfied applications
  6. tuned
  7. tuned
  8. Tuned semicolons.
Changeset 77707:a6a81f848135 by haftmann:
More explicit type information in dictionary arguments.
The file was modified src/Tools/Code/code_ml.ML (diff)
The file was modified src/Tools/Code/code_scala.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
The file was modified src/Tools/nbe.ML (diff)
Changeset 77706:596452389ad0 by haftmann:
tuned
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77705:e6ee7af8184c by haftmann:
tuned whitespace
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77704:4c5297aa18c8 by haftmann:
more uniform approach towards satisfied applications
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77703:0262155d2743 by haftmann:
more uniform approach towards satisfied applications
The file was modified src/HOL/Imperative_HOL/Heap_Monad.thy (diff)
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 77702:b5fbe9837aee by haftmann:
tuned
The file was modified src/Pure/Isar/code.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77701:5af3954ed6cf by haftmann:
tuned
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 77700:86b9a405b0cc by haftmann:
Tuned semicolons.
The file was modified src/Tools/Code/code_thingol.ML (diff)