Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. tuned signature;
  3. clarified signature;
  4. merged
  5. prefer Isabelle.Bytes, based on ShortByteString;
  6. tuned;
  7. tuned signature;
  8. tuned signature: more generic operations;
  9. prefer UTF8 implementation from Data.Text.Encoding (foreign C); clarified signatures and modules;
Changeset 74088:6d8674ffb962 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74087:12c984b7d391 by wenzelm:
tuned signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74086:73487ebd7332 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74085:e5e95395258d by wenzelm:
merged
Changeset 74084:a8bbeb266651 by wenzelm:
prefer Isabelle.Bytes, based on ShortByteString;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74083:e249650504f3 by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74082:f81d2a1cad69 by wenzelm:
tuned signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74081:adaa2e9a4111 by wenzelm:
tuned signature: more generic operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74080:5b68a5cd7061 by wenzelm:
prefer UTF8 implementation from Data.Text.Encoding (foreign C);<br>clarified signatures and modules;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)