| 6b0a306dd5d83c95c91a0081268827f64b7e7a5b |
|
18-Apr-2011 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
new screenshot with the logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14947 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3fdf6c17476458d1458d5ae2c085efd2634ba7d9 |
|
18-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ADL stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13897 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c9d53cd78829e538aee56b84db508d8d944e6551 |
|
13-Apr-2010 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
prepared new version of user guide
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13320 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9c3b1fb1952bb78a1942fe612215f940fc8e5f31 |
|
21-Mar-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
finalization for 0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7724 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a8df6f5d096a0301b9fe350df957449cd1646cb3 |
|
21-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5438 cec4b9c1-7d33-0410-9eda-942365e851bb |