Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. more Isabelle/Haskell operations;
  3. more Isabelle/Haskell operations; tuned;
  4. avoid change of existing file, notably rebuild via ghc_stack;
  5. tuned signature;
  6. more Isabelle/Haskell operations;
  7. clarified process description;
  8. more Isabelle/Haskell operations;
  9. clarified signature;
Changeset 74218:8798edfc61ef by wenzelm:
tuned;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74217:736374547a7f by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74216:a308ed696b58 by wenzelm:
more Isabelle/Haskell operations;<br>tuned;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74215:7515abfe18cf by wenzelm:
avoid change of existing file, notably rebuild via ghc_stack;
The file was modified src/Pure/Thy/export.scala
Changeset 74214:e16ac8907148 by wenzelm:
tuned signature;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74213:12152390db34 by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74212:a1ccecae6a57 by wenzelm:
clarified process description;
The file was modified src/Pure/System/bash.scala
The file was modified src/Pure/System/isabelle_system.ML
The file was modified src/Pure/System/isabelle_system.scala
Changeset 74211:2ee03f7abd8d by wenzelm:
more Isabelle/Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy
Changeset 74210:c14774713d62 by wenzelm:
clarified signature;
The file was modified src/Pure/System/bash.ML
The file was modified src/Pure/System/isabelle_system.ML