Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Haskell operations;
  2. tuned headers;
  3. more formal Haskell project setup, with dependencies on packages from "stackage";
  4. tuned signature;
  5. tuned proofs;
  6. clarified modules, following bytes.scala;
  7. clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);
Changeset 69446:9cf0b79dfb7f by wenzelm:
more Haskell operations;
The file was modified src/Pure/General/bytes.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
Changeset 69445:bff0011cdf42 by wenzelm:
tuned headers;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69444:c3c9440cbf9b by wenzelm:
more formal Haskell project setup, with dependencies on packages from "stackage";
The file was modified lib/scripts/getsettings (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
The file was modified src/Tools/ROOT (diff)
Changeset 69443:61396b9713d8 by wenzelm:
tuned signature;
The file was modified src/Pure/General/input.ML (diff)
Changeset 69442:fc44536fa505 by wenzelm:
tuned proofs;
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 69441:0bd51c6aaa8b by wenzelm:
clarified modules, following bytes.scala;
The file was addedsrc/Pure/General/bytes.ML
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/system_channel.ML (diff)
Changeset 69440:eaf66384cfe8 by wenzelm:
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/System/system_channel.ML (diff)