| b47240e6150012e5775ad4fe444659fd35994db2 |
|
21-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
updated the postscript versions of the screenshots as well.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7731 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 |
| 53eb610e03705ac6499371cde16cc37482fb3313 |
|
03-Nov-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added descriptions of provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5338 cec4b9c1-7d33-0410-9eda-942365e851bb |