Summary
- tuned;
- more Isabelle/Haskell operations;
- more Isabelle/Haskell operations; tuned;
- avoid change of existing file, notably rebuild via ghc_stack;
- tuned signature;
- more Isabelle/Haskell operations;
- clarified process description;
- more Isabelle/Haskell operations;
- clarified signature;
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Pure/Thy/export.scala |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
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 |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Pure/System/bash.ML |
The file was modified | src/Pure/System/isabelle_system.ML |