| 2937d25c9a98c4c1c17df12cb1ac61f8ce638b21 |
|
24-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
try at most 20 combinations and warn only if different maps have been tested at all
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11989 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e822de03185f78e7735471f31b1dd113d6b6fdd8 |
|
09-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fitting morphism is currently needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11244 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ab47f17102a0d0e6aa2cb937dfea1d7ec36c74cd |
|
22-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added first test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5558 cec4b9c1-7d33-0410-9eda-942365e851bb |