History log of /hets/doc/hets2007.pdf
Revision Date Author Comments Expand
9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58 16-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted file properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14324 cec4b9c1-7d33-0410-9eda-942365e851bb
9c3b1fb1952bb78a1942fe612215f940fc8e5f31 21-Mar-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

finalization for 0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7724 cec4b9c1-7d33-0410-9eda-942365e851bb