| ed8b6c22f1371cfdb968ba094653a1026dd3df6f |
|
25-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
all extra-source-files are needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12281 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a139d5a923d7c07a9c0ecb10bb43c716a23f1cd |
|
25-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12280 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f22318edc68ad82a9fa72d6f81bb8661ed962693 |
|
25-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added cabal file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12279 cec4b9c1-7d33-0410-9eda-942365e851bb |