Changes in sample-ghci-script http://src.iws.cs.ovgu.de/source/rss/hets/sample-ghci-script en Copyright 2005 Java adjusted to change spechub/Hets@c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17267 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 112b34d5499e9d0f68abb03434f03bae6e4de06d Christian Maeder <Christian.Maeder@dfki.de> adjusted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17157 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 5df573260a6fcc663d4d59df49617a76eaf21f0d Christian Maeder <Christian.Maeder@dfki.de> fixed OpMap access git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16528 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 93ad6e45774747cbd8e50f4a61cf5234236b7279 Christian Maeder <Christian.Maeder@dfki.de> changed Test to Scratch git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14503 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - dd51c62f9422808985342b78b5161737f05f17c0 Christian Maeder <Christian.Maeder@dfki.de> adapted to spechub/Hets@ef2affdc0cdf3acd5c051597c04ab9b08a346a7d git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11932 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 40623ccebed1ff36996641f957a40dfd6f536073 Christian Maeder <Christian.Maeder@dfki.de> corrected tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9731 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 560866529d0162896a3255aaa0f6e24177f0c151 Christian Maeder <Christian.Maeder@dfki.de> use constructor ExtGenSig git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9702 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 3cb9e8caabecd4d058b622c889e3b020c1ac099c Christian Maeder <Christian.Maeder@dfki.de> cleaned up Logic.Prover git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8621 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 80d0480a60b409d9cf256d0a6c411dd99c672124 Christian Maeder <Christian.Maeder@dfki.de> replaced GlobalContext by DGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8456 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 8fd7d86240056fe52b97c810b6beb0360c8ee16e Christian Maeder <Christian.Maeder@dfki.de> CASL-lib -&gt; Hets-lib git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8272 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - ec5ec8dd5bce3df1c42ff4f594dd7b69b9906e5b Christian Maeder <Christian.Maeder@dfki.de> adapted to changes in DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7960 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 6320552e8c3e1ada4389afbc22055a55472bbfda Christian Maeder <Christian.Maeder@dfki.de> Till's sample ghci session to be run by linking or copying this file to .ghci git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7482 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/sample-ghci-script - 45cd3810666369a5a73b05ca43333de38f5ed342 Christian Maeder <Christian.Maeder@dfki.de>