| ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05 |
|
03-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6154 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 59316321b20af89de1c2d4cd53183e04b72662c4 |
|
24-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6119 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fd28ce71068bc46a4e1bba587a978206959c62ab |
|
22-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signed numbers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5048 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0af0cffad0fea46df86ff9a9b1d490247871719a |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
use PrettyPrint rather than separate show function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3809 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca |
|
06-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved CASL tests in test subdirectory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1348 cec4b9c1-7d33-0410-9eda-942365e851bb |