| 7a8f957bfcc11b75a6a0aad027b8602f575687fa |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed License and Lizenz to GPL-2, added header_warning.log
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13858 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 07932a3abb2d75a010c964f6e7a48f9d8eb0d011 |
|
14-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
2 blank lines between paragraphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9566 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4020cd1d4549b9412608aa5a1bc22a7f02c505dd |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added spell checked License
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4430 cec4b9c1-7d33-0410-9eda-942365e851bb |