| e7eefd526faedd63acb8f91de5793368cfe67655 |
|
13-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
revised section 10 (Proofs with Hets); the Isabelle description is only slightly changed; added hyperref and url support.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8350 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |