History log of /hets/CommonLogic/TestData/partitioning.clf
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
dd2cdefff2e823963cde6ec1fb9c28af1b137865 29-Jun-2010 Karl Luc <kluc@tzi.de>

added some new testfiles for clif git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13651 cec4b9c1-7d33-0410-9eda-942365e851bb