| 971cd9553a84c1e1bdbccd0bd63f4fe00b8502f9 |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
using ';;' identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9929 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4e013227ed41ccd2e3d09dd44bedd651e1901f38 |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed do as keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9926 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6fc65e097da8013f5f4f96c8b343b9b48cd3d9e1 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded binder syntax (finished #447)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9925 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b734b51e16ca659814c11205dfb0e97d13bf7ef6 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
make binders assoc_right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9923 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 31a189d4cff554f78407cdc422480e84e99a6ec6 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse binder syntax of #447
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9922 cec4b9c1-7d33-0410-9eda-942365e851bb |