3657e87cf383e7f8ca9425111d3eedb4f5fd49da |
|
30-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted properties
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11852 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b3f1a9c8994dc5a964d53de628f650317fa6d6f |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
only allow < in class-decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10262 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c01d95140a3bb5f554927dc2a398db0f4f90601 |
|
06-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed intersection and downset kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4566 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 |
|
25-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
merge raw-kinds branch with main trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb |
d67a0dfffeb04713ec069870109a732a94fae779 |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
testing static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@751 cec4b9c1-7d33-0410-9eda-942365e851bb |