| a1787cd3785fce1b2fe53291694d85fa59634712 |
|
19-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong file name comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10536 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1ab3cda9cf88318392b2c80dcf3082bfda51ec43 |
|
19-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid trailing spaces in generated file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10535 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a8fdac7ebbeb34fced934d24f0a560699aaea52a |
|
03-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added version date into haddock docu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4369 cec4b9c1-7d33-0410-9eda-942365e851bb |
| dad3168223212d034510b3e0ddbe897737c0812f |
|
25-Jul-2002 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
A perl script for building Version.hs fron Version.in and version_nr.
It is called via the Makefile in hetcats.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@388 cec4b9c1-7d33-0410-9eda-942365e851bb |