| 3d5494b1f63fb1781ace3fd56dea9feaf405beec |
|
21-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Concentrated input file name extensions at one point; added het
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1855 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 565f765be1bfb2756bf7e2c46f8168580cc62d5c |
|
11-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1828 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 208f7decf95a897602dfd677893d0a672e98fbca |
|
10-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1824 cec4b9c1-7d33-0410-9eda-942365e851bb |