| 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 |
| 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 |
| 6ea27c9e3ae482e6e70888648cf473311d5c9fbc |
|
26-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15719 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b18a478626538d25dc8aefe7400a6f13be0b15a6 |
|
26-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
first sketch of concrete syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15710 cec4b9c1-7d33-0410-9eda-942365e851bb |