Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. treat Symbol.eof as in ML (but: presently unused);
  2. tuned;
  3. minor performance tuning;
  4. clarified signature;
  5. proper Isabelle symbol positions;
  6. more Haskell operations;
  7. clarified signature;
  8. tuned;
  9. tuned;
Changeset 74177:a8b032dede5c by wenzelm:
treat Symbol.eof as in ML (but: presently unused);
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74176:b70714530045 by wenzelm:
tuned;
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74175:53e28c438f96 by wenzelm:
minor performance tuning;
The file was modified src/Pure/General/symbol_pos.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
Changeset 74174:a3b0fc510705 by wenzelm:
clarified signature;
The file was modified src/HOL/SPARK/Tools/fdl_lexer.ML (diff)
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/General/symbol_pos.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_lex.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74173:8d03d548df1c by wenzelm:
proper Isabelle symbol positions;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74172:c576a4e2ffbc by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74171:a9e79c3645c4 by wenzelm:
clarified signature;
The file was modified src/HOL/SPARK/Tools/fdl_lexer.ML (diff)
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/General/symbol_pos.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_lex.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 74170:09d4175f473e by wenzelm:
tuned;
The file was modified src/Pure/General/symbol_explode.ML (diff)
Changeset 74169:43fe7388458f by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)