Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. tuned comments;
  3. tuned -- more compact;
Changeset 69476:d93fe3557a98 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69475:b3628ee55f28 by wenzelm:
tuned comments;
The file was modified src/Pure/Tools/ghc.ML (diff)
Changeset 69474:2633cf136335 by wenzelm:
tuned -- more compact;
The file was modified src/Tools/Haskell/Haskell.thy (diff)