0N/A{- |

553N/AModule : $EmptyHeader$

0N/ADescription : <optional short description entry>

0N/ACopyright : (c) <Authors or Affiliations>

0N/ALicense : GPLv2 or higher, see LICENSE.txt

0N/A

0N/AMaintainer : <email>

0N/AStability : unstable | experimental | provisional | stable | frozen

0N/APortability : portable | non-portable (<reason>)

0N/A

0N/A<optional description>

0N/A-}

0N/Aimport Posixutil.ChildProcess

0N/Aimport Util.Computation

0N/Aimport Control.Concurrent

0N/A

0N/Amain :: IO ()

0N/Amain = do

553N/A p <- newChildProcess "isabelle" [arguments ["tty", "-l", "HOL"]]

553N/A sendMsg p ""

553N/A forkIO $ forever $ readMsg p >>= putStrLn

0N/A return ()

0N/A