| 0739fc09bc94ded605610751fab12f669e1135ba |
|
22-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected spelling of preceding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13374 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5d39246e1b678fc454d32235e2e53c357f660801 |
|
26-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed orientation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13004 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b93a3852d14195122d83f6e3303259b23470123b |
|
19-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
deactivated inclusion of theorems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12986 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1468136df5b66f8e94b60d3b1c00b245d40c4de0 |
|
04-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
changed selection mode of list for gtk. removed old files. implemented gtk prover gui, is working now, but still has some bugs (interactive test 3 is not working). added some datatypes for prover windows to gtk utils.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12779 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8a09bb0d66c5be017e8eefeeea31ead5829ab202 |
|
29-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a Gtk version of the generic prover gui. GenericATP.hs moved to HTkGenericATP.hs. Stop is now workin in ConsistencyChecker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12754 cec4b9c1-7d33-0410-9eda-942365e851bb |