workaround #2277: turn off the RTS timer when calling into editline
[ghc-hetmet.git] / driver / ghci-usage.txt
2006-04-07 Simon MarlowReorganisation of the source tree