91cf66b5643f3539dc4155bbcc4ac34c2a4857f4 |
|
31-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted renaming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16064 cec4b9c1-7d33-0410-9eda-942365e851bb |
271b5437dec49dfea78eda00f43523e71ca4d897 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15746 cec4b9c1-7d33-0410-9eda-942365e851bb |
d50927e6f3214849a363476e536e738ea9265d13 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
include abbreviated syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15737 cec4b9c1-7d33-0410-9eda-942365e851bb |
c67db9f5fdfdf26af35774464fccb0fb8b835663 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
final concrete syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15733 cec4b9c1-7d33-0410-9eda-942365e851bb |
107bfd6dc53374c2ba5323e322956da8cef69e56 |
|
26-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
started description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15722 cec4b9c1-7d33-0410-9eda-942365e851bb |