| af35cfab2b45879b385a8ec31558f7ebb1b3dc5f |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated proof management gui
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14957 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 88a46d33aab62f072be31f41cd4687a2005f42e0 |
|
20-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
up-to-date screenshot of prover interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13364 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 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 |
| d5f04b6737d3915e93392078df68340366685348 |
|
21-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
provided new Mac OS X Screnshots and transferred one image from jpg to png
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7730 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 |
