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 |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad15c42a0fcf132bf31a3f986325c61ac35dced2 |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
updated hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12824 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee2453ba80afe7c495043bd20f44f656e4d55dd1 |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12822 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f1781ab0a0a58328ef9d1ad8bda1984fd80259d |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use two states proved consistent or inconsistent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12816 cec4b9c1-7d33-0410-9eda-942365e851bb |
17fecc5bcd86bf37c6e1e79638fd08e611ebc819 |
|
05-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
fixed some bugs. gtk prover gui almost working. moved GUIMVar to HTkUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12783 cec4b9c1-7d33-0410-9eda-942365e851bb |
fbbe7b7da5a451ffa1f3967f96d99eb2392eea18 |
|
27-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use ASCII char * for inconsistent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12739 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
780dd34db4e9bd96deb93d3086d219f55fd97eb3 |
|
09-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid haddock warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11674 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use uni with hierarchical modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb |
88b4f404b2ce8179a40e308abc984028889d16fa |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified uni imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11182 cec4b9c1-7d33-0410-9eda-942365e851bb |
4478131aa5a50d84d668fa00c3e9ee57e390e066 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed qualified import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11181 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
support uni version 2 with hierarchical module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 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 |
386ffcce39ca7466c27a0a831fe4bbbbfd5c3632 |
|
28-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added reasons to open proof states
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11120 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 |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
b6b955bb313159bdd477048e9eeaf7d76cfd5c82 |
|
10-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared for qualified uni names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10669 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
5674a959750ec9b9290a34317e6de57bcbd3ac01 |
|
24-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8896 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d0480a60b409d9cf256d0a6c411dd99c672124 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Logic.Prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8621 cec4b9c1-7d33-0410-9eda-942365e851bb |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
a04327e869f656be6a5dc40e351c5dbc2d727255 |
|
04-Apr-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 161
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7785 cec4b9c1-7d33-0410-9eda-942365e851bb |
037dc5f4124f410e279be6de5cf4451de2fda952 |
|
02-Apr-2007 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
listBox returns Nothing when closed by window manager's X button
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7768 cec4b9c1-7d33-0410-9eda-942365e851bb |
2331376087ec0660072ac14de2125738329581d0 |
|
05-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 268
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7601 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4b3955462c5ba765a97f11af8b895aab145dd0d |
|
04-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 268
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7597 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f6bada499519e10828b361bf73a4f6ae964012c |
|
11-Dec-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* shortend Signature Window
* implemented truncate for long goal names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7240 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc76487c788597970268203605a450e792792ecd |
|
14-Nov-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Focus edit window on mouse click. Some tidying up.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7156 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bd66bc98f92abb271218f4627eabc3faf65c22a |
|
21-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
force focus to read-only textedit on mouseOver event
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7084 cec4b9c1-7d33-0410-9eda-942365e851bb |
232496d719cf20b83634bf55b25a9ec3d9756ced |
|
16-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
some improvements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7056 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 |
615929e3f783ca2b792db4808b0c79e25d3400f7 |
|
31-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added a comment.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6137 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c7228df8b5c735df42d849ffde9cbb96958a849 |
|
23-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* removed field goalUsedInProof from Logic.Prover.SenStatus
* instead GoalStatus.Proved has a Parameter indicating the consistency
(similiar to the SZS Ontology)
* introduced a new StatusIndicator for Proved theorems in an inconsistent
theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6109 cec4b9c1-7d33-0410-9eda-942365e851bb |
91f467410bc0ca3589c4aad54fb7e76761cd2e4a |
|
01-Feb-2006 |
Heng Jiang <jiang@tzi.de> |
fixed the size of a createTextSaveDisplay
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5756 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fb8c9e0507dd54eb1c124d0627811b5f8159d02 |
|
01-Feb-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
shrinked the size of a createTextSaveDisplay and enabled resizing of the scrollbox
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5751 cec4b9c1-7d33-0410-9eda-942365e851bb |
724be620c516160e7d2c203999f01df4ccc53048 |
|
31-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Refactored Logic.Prover.Proof_status:
now a Record datatype with only two variants:
(1) Proof_status for goals
(2) Consistency
The status of a goal is now represented by a separate enumerated datatype:
GoalStatus
added field goalIsUsedInProof which should be True if the goal was in the
list of used formulae
other changes:
* improved display of proof details in GUI.ProofManagement
* added todo point for Isabelle.IsaProve
* Logic.Logic.Sentences demands Ord instancew for proof_tree now
so it was easier to derive the Ord instance of Proof_status automatically
* SPASS removes now the goal from the list of used axioms and stores the
derived information properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5750 cec4b9c1-7d33-0410-9eda-942365e851bb |
da311c6fdd72ca3381a15d69378e828f5d794ce4 |
|
11-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* moved function enableWidsUponSelection from ProofManagement to HTKUtils
* removed a todo item
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5627 cec4b9c1-7d33-0410-9eda-942365e851bb |
17cb0cec22c8983cbd00c073970913ff079036d3 |
|
06-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
GUI.HTkUtils:
added existential type and functions to enable and disable widgets
GUI.Proofmanagement and SPASS.Prove:
all buttons and list boxes are collected now into a list
They are disabled while a Prover is running and enabled afterwards
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5611 cec4b9c1-7d33-0410-9eda-942365e851bb |
2487ed4f497094eb5241f1f2a79b47f0b6439c6f |
|
26-Oct-2005 |
René Wagner <Rene.Wagner@dfki.de> |
add indicatorFromBasicProof function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5266 cec4b9c1-7d33-0410-9eda-942365e851bb |
7754f13054496adea859b54609a977ade7889ba0 |
|
26-Oct-2005 |
René Wagner <Rene.Wagner@dfki.de> |
move/rename SPASS.Prove.toStatusIndicator to GUI.HTkUtils.indicatorFromProof_status so that it can be used by GUI.ProofManagement
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5263 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c631f0fef90c6f4f30c3c52ad77254f2d14374a |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
accidental commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5227 cec4b9c1-7d33-0410-9eda-942365e851bb |
b88fcd6afb21ded1ec59538ca06c845defd5a546 |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5226 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7acd784a14aa2f18f5d3524642a06bb6fe45d4e |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5225 cec4b9c1-7d33-0410-9eda-942365e851bb |
978f34b7571e7fc6576159b2b9237e58baa5005d |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5224 cec4b9c1-7d33-0410-9eda-942365e851bb |
d090189689b0477eddd326a56840332360d2c1a9 |
|
05-Oct-2005 |
René Wagner <Rene.Wagner@dfki.de> |
factor out parts of the goals listbox code from SPASS/Prove.hs to GUI/HTkUtils.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5135 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
18d505983f6df03a5864c8cce7beec1abfc58b40 |
|
25-Jul-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
shortened the height of the listBox.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4761 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 |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 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 |
1b1a5faa1f6036752dc2e95e92e37e61ddcf25e3 |
|
17-Mar-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added a FileDialog to all TextView oppened by hets.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3971 cec4b9c1-7d33-0410-9eda-942365e851bb |
69555d5968539c209b9b414c6ca8339e8e4765e0 |
|
21-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
resolved problematic objects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3301 cec4b9c1-7d33-0410-9eda-942365e851bb |
d638020ac8276ea95ffd5646aed7af3b469a946b |
|
20-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added "." to pretty printing of CASL formulas (except for sort_gen_ax)
Added save button for theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3170 cec4b9c1-7d33-0410-9eda-942365e851bb |
948be3696761e846ce3a9af135d24a7a08e615db |
|
10-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added menu for selection of provers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3038 cec4b9c1-7d33-0410-9eda-942365e851bb |