| 1d49bdc3171a64621bc8e710c9f155a929425f61 |
|
15-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion with Razvan
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6453 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52791eb67eec531963ee9c0e4b79770c3d15e15b |
|
15-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion with Christoph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6452 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c94305f95f2a70ba544d40c7dd1cbd6c54e2d3dd |
|
15-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion with Christian
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6451 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b32e84ad2e22057345d18361ffa2d78772e69e50 |
|
15-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
discussion with Christoph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6450 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 17cd531da84dd53bbe5bcd1f513e9ff93c9d1c19 |
|
14-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
language for Hets command line interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6442 cec4b9c1-7d33-0410-9eda-942365e851bb |