Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more Haskell operations;
- tuned headers;
- more formal Haskell project setup, with dependencies on packages from "stackage";
- tuned signature;
- tuned proofs;
- clarified modules, following bytes.scala;
- clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);
The file was modified | src/Pure/General/bytes.ML |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Test.thy |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | lib/scripts/getsettings |
The file was modified | src/Pure/Tools/ghc.ML |
The file was modified | src/Tools/Haskell/Haskell.thy |
The file was modified | src/Tools/Haskell/Test.thy |
The file was modified | src/Tools/ROOT |
The file was modified | src/Pure/General/input.ML |
The file was modified | src/HOL/Library/Multiset.thy |
The file was added | src/Pure/General/bytes.ML |
The file was modified | src/Pure/ROOT.ML |
The file was modified | src/Pure/System/system_channel.ML |
The file was modified | src/Pure/System/system_channel.ML |