| 325e8aca700ad30d8ac47a00482c02dea2de3df0 |
|
24-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed disprove button to be put into the node menu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14092 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 |
| 6bcc9da85b73c324e14365759791daf895b0738c |
|
22-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (void) Disprove button to prover GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12998 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9fbc2a6ea457b4e6bec4034111f4a8a4dcdebcfd |
|
19-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added orientation for glade-3 and gtk-2.16
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12985 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b18caa17663d4639c022611457bb9b759bc6e2c9 |
|
03-Dec-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
changed selection of comorphism paths. no new window is created, selection is possible by a combobox with fixed size.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12887 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 |
| b70aa06df02d646ee391a984d69f6072711e60f4 |
|
17-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
more functionality added to gtk prover gui
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12156 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8f31d51d47da96200437dd3af1d785cd88a46f71 |
|
13-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
added skeleton for a gtk version of the prover window.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12116 cec4b9c1-7d33-0410-9eda-942365e851bb |