| 112b34d5499e9d0f68abb03434f03bae6e4de06d |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to change spechub/Hets@c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17267 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5df573260a6fcc663d4d59df49617a76eaf21f0d |
|
08-Aug-2012 |
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 |
| 93ad6e45774747cbd8e50f4a61cf5234236b7279 |
|
06-Dec-2011 |
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 |
| dd51c62f9422808985342b78b5161737f05f17c0 |
|
08-Feb-2011 |
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 |
| 40623ccebed1ff36996641f957a40dfd6f536073 |
|
15-Jul-2009 |
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 |
| 560866529d0162896a3255aaa0f6e24177f0c151 |
|
10-Mar-2008 |
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 |
| 3cb9e8caabecd4d058b622c889e3b020c1ac099c |
|
06-Mar-2008 |
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 |
| 80d0480a60b409d9cf256d0a6c411dd99c672124 |
|
15-Aug-2007 |
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 |
| 8fd7d86240056fe52b97c810b6beb0360c8ee16e |
|
23-Jul-2007 |
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 |
| ec5ec8dd5bce3df1c42ff4f594dd7b69b9906e5b |
|
06-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL-lib -> Hets-lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8272 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6320552e8c3e1ada4389afbc22055a55472bbfda |
|
01-Jun-2007 |
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 |
| 45cd3810666369a5a73b05ca43333de38f5ed342 |
|
20-Feb-2007 |
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 |