Summary
- more Isabelle/Haskell operations;
- clarified process description;
The file was modified | src/Tools/Haskell/Haskell.thy (diff) |
The file was modified | src/Pure/System/bash.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.ML (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |