Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Isabelle/Haskell operations;
  2. more Isabelle/Haskell operations; tuned;
  3. avoid change of existing file, notably rebuild via ghc_stack;
  4. tuned signature;
Changeset 74217:736374547a7f by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74216:a308ed696b58 by wenzelm:
more Isabelle/Haskell operations;<br>tuned;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74215:7515abfe18cf by wenzelm:
avoid change of existing file, notably rebuild via ghc_stack;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 74214:e16ac8907148 by wenzelm:
tuned signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)