Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned messages;
  2. unused;
  3. more ML antiquotations;
  4. proper platform path for Windows;
  5. tuned whitespace;
Changeset 69472:d016ef70c069 by wenzelm:
tuned messages;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69471:e7fd8c6d183a by wenzelm:
unused;
The file was modified src/Pure/General/input.ML (diff)
Changeset 69470:c8c3285f1294 by wenzelm:
more ML antiquotations;
The file was modified NEWS (diff)
The file was modified src/Pure/ML/ml_antiquotation.ML (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
Changeset 69469:95494ec22c71 by wenzelm:
proper platform path for Windows;
The file was modified src/Pure/Tools/ghc.ML (diff)
Changeset 69468:54a95e1199cb by wenzelm:
tuned whitespace;
The file was modified src/Pure/library.ML (diff)