Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Isabelle/Haskell operations;
  2. more Isabelle/Haskell operations;
  3. more Isabelle/Haskell operations;
  4. clarified signature;
  5. clarified signature;
  6. minor performance tuning;
  7. tuned;
  8. tuned;
  9. tuned signature;
  10. tuned comments;
Changeset 74187:6109a9105a7a by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74186:92e74f9305a4 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74185:2508ea6a9a11 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74184:7652f8d29d10 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74183:af81e4a307be by wenzelm:
clarified signature;
The file was modified src/Pure/General/name_space.ML (diff)
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/Isar/calculation.ML (diff)
The file was modified src/Pure/Isar/keyword.ML (diff)
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
The file was modified src/Pure/theory.ML (diff)
Changeset 74182:72bb7e9143f7 by wenzelm:
minor performance tuning;
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74181:4ae14c2e7cdd by wenzelm:
tuned;
The file was modified src/Pure/General/position.ML (diff)
Changeset 74180:5d40a4f66fdd by wenzelm:
tuned;
The file was modified src/Pure/General/position.ML (diff)
Changeset 74179:54e096758b63 by wenzelm:
tuned signature;
The file was modified src/Pure/General/position.ML (diff)
Changeset 74178:5f81ebfb551e by wenzelm:
tuned comments;
The file was modified src/Tools/Haskell/Haskell.thy (diff)