Changes in Makefile http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Makefile en Copyright 2005 Java added hacapa dependency for output target git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3715 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Makefile - 96f7c7a07f939807a52234fde508fac35bd3405b Christian Maeder <Christian.Maeder@dfki.de> changed from bash to sh git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2551 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Makefile - e973af819c2fb17f426944c8c4cfa00de5cd81a1 Christian Maeder <Christian.Maeder@dfki.de> recollected tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1351 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Makefile - 5214cf3742dc626a7efc5ec851db09bf0ff1f579 Christian Maeder <Christian.Maeder@dfki.de> added targets for shortcuts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@757 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Makefile - b96b500ba4430269d97a08f07de87838278e9c5d Christian Maeder <Christian.Maeder@dfki.de> class decl testing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@756 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Makefile - fdbad18e66c0e293f94694458d47df305f050c71 Christian Maeder <Christian.Maeder@dfki.de>