e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
06883ac1d9999098ffb26e6f916fab1ff9d5fe63 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
make it work without #ifdef UNIPACKAGE |
a3ce7062d104d53efc886874ce7721f070eaa1cb |
|
10-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed also unused HTk displayTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14360 cec4b9c1-7d33-0410-9eda-942365e851bb |
05b472b047103914271b30fd86d9218144ef4430 |
|
10-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused displayTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14359 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
d56ece59c372cb887355825901222b9f3377f7e6 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Gtk consistency checker was broken, fixed. removed all warnings from building hets with and without Gtk and or HTk. fixed bugs from my last commit when building without Gtk and or HTk. One bug still remaining in consistency checker when pressing invert, i am trying to fix it now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12833 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbd5da92be2bc4a8afcaa21980a5f59831037171 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Removed possibility to pass action function to dialogs. no need for different ways of handling response.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12830 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7f4a6ff1152bff4eb0025eb70cfb2d96b55d4d8 |
|
13-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Splitted all functions in GtkUtils. Function supposed to be called from outside of the gtk thread have a Ext postfix, functions supposed to be called from within the gtk thread have no postfix. Reduced the use of forks and postGUI calls in consistency checker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12634 cec4b9c1-7d33-0410-9eda-942365e851bb |
32d98ca5e560cf6c1062a0463be4c350af32bed5 |
|
11-Sep-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
GtkConsistencyChecker can now start and stop consistency checker. stop will wait until a actual chekcer finished. needs to be fixed later. a progress bar showing status while checking. a pulse bar added for updating sublogic, still takes too long. checkt a lot of gui modules with hlint and meet the suggestions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12462 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e2c6baa4352577819386beb3a21d7c247eab52c |
|
31-Aug-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added progress bar dialog.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12366 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 |
6a7015f45fcbbd19508317abe3bed0c0e7716ea3 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed no longer need strToCmd #626
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11706 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8f406de9ef468bf0607184b3cab071e919b8930 |
|
22-Mar-2009 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Fixed ticket 678, 466, 655
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11558 cec4b9c1-7d33-0410-9eda-942365e851bb |
02a84229da51532505a93fc2abfca1ccf81b4446 |
|
15-Mar-2009 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
duplicate code ticket solved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11526 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f5219469b89a15dc6d4c2c30463775975f5841c |
|
15-Jan-2009 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
history issue fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11265 cec4b9c1-7d33-0410-9eda-942365e851bb |
2083e66e910c2144cf800f31910993064c5f16be |
|
03-Dec-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Fixed compilation error when compiling without gtk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11140 cec4b9c1-7d33-0410-9eda-942365e851bb |
57bb31a6834641607fff7fc457b5a3e19238a132 |
|
03-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to correct compilation without gtkglade
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11139 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1066b8fb69179973dcab47154858d77e72760a7 |
|
01-Dec-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All message dialogs are now provided by GUI.Utils. Changes all modules to use the windows from GUI.Utils. And hopefully fixed Gtk Error in FileDialogs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11136 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7 |
|
25-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11082 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b01b265715d725c17d51619d297bbb97f37d1b5 |
|
19-Nov-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All GUIs provided by GUI.HTkUtils are now provided by GUI.GtkUtils too. Access is provided by GUI.Utils, if gtk2hs is available GUI.GtkUtils is used else GUI.HTkUtils. All Modules which used GUI.HTkUtils directly are now using GUI.Utils instead.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11034 cec4b9c1-7d33-0410-9eda-942365e851bb |
37eedb575dd3dc0ab25809693aa2d318f9084c56 |
|
11-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8333 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c3b3333159c7eeef90480500729409bf3388550 |
|
17-Sep-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added "show theory"-button to ProofManagementGUI and added import lists to GUI.Utils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6943 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a8401ce858002b67e8f4198fde45a1562696ccb |
|
02-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made haddock headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4359 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5b79e9fe9606fd386dc840ea9f1514e7b9b32b9 |
|
01-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added poor gui via console if uni is missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4353 cec4b9c1-7d33-0410-9eda-942365e851bb |