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 |
44dede2d8d8903c83b2cda83288718953836b5f3 |
|
02-Jun-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added "Hets" to graph title
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18603 cec4b9c1-7d33-0410-9eda-942365e851bb |
034d9e2e9ada5aaa5665180720744d51166dacd4 |
|
17-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass hets options to dev-graph xml output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18548 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0c15d9d060594deb564ae4c8445664b7e7ba956 |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced code duplication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17161 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9f36cd6c6dca3437003276c96c80062b7efac7f |
|
07-Nov-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
renumbering of conflicting edgeids has been moved to applychanges-module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16426 cec4b9c1-7d33-0410-9eda-942365e851bb |
68bfd428801d1758ded004df2c08a3cc39db2236 |
|
07-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert accidental commit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16424 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4b10387502bcfa6aa4f72cdd2776448bbe05913 |
|
07-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjust history to support reloading multiple times
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16423 cec4b9c1-7d33-0410-9eda-942365e851bb |
7feb27c3c79013a53f3067a62136e610689d9495 |
|
02-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
dump xupdate
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16420 cec4b9c1-7d33-0410-9eda-942365e851bb |
142dc4c07055678c1460b22f51f6f17405c9b8b1 |
|
02-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
renumber newer links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16419 cec4b9c1-7d33-0410-9eda-942365e851bb |
987ce96cd048cfd38348a3ec0095aeee9961d138 |
|
01-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16414 cec4b9c1-7d33-0410-9eda-942365e851bb |
d33298ecfcd1fe6da13720ee1cdb3d3949b13084 |
|
01-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use xmldiff for changed dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16408 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ca6b0820806f62042d84a1fff11599db55591c4 |
|
27-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
also adjust lib name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16194 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7af683d179f4e5bf09b60a97ab0b2ed298b97eb |
|
27-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to new xupdate analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16189 cec4b9c1-7d33-0410-9eda-942365e851bb |
8734053e63cda0a4316b38404b4843f4c9e54086 |
|
01-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed hlint duplication
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15051 cec4b9c1-7d33-0410-9eda-942365e851bb |
d864f0a0e04e61b5f87963496765eafcf646ed7b |
|
01-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
output lib-name in dg-xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15049 cec4b9c1-7d33-0410-9eda-942365e851bb |
b881a980004168d9f55fa46c872aa13f12e10634 |
|
11-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
display dummy ref node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14895 cec4b9c1-7d33-0410-9eda-942365e851bb |
e54f3a66901217c9cf6313dc3579b6ad28f548f8 |
|
02-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
recompute global theories after updates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14471 cec4b9c1-7d33-0410-9eda-942365e851bb |
a43c1a7fa08c12524415386aa13a566cc9e53a4f |
|
03-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
add filepath to xml output #887
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14284 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cfd37344ec1e68baa4b7fa4c4a3a4dae4fe9a6c |
|
02-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed my duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14280 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c36fb968488fecc209a75cb1af671e9f9c678e2 |
|
13-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and changed graph reloading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14064 cec4b9c1-7d33-0410-9eda-942365e851bb |
44773b94f1cb4f7e1cbaee979969e3640e842810 |
|
10-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pluse bar when calling gmoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14046 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bdd8707c8e341f1fc57fcbf884520bfe06a5028 |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13974 cec4b9c1-7d33-0410-9eda-942365e851bb |
74005a55774bbeae6eb20dbc8c0533d762066bf2 |
|
01-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
let it go through without changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13962 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdeddba30d29f413af1e1ae6b6bab275c017bd98 |
|
01-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added code to integrate change management #725
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13961 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 |
ed8f5f9baa6010cee6066ba0a10ec25d192525d1 |
|
07-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid name clashes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13528 cec4b9c1-7d33-0410-9eda-942365e851bb |
28cbeb7eb61216d3b5a27dca176333d1ff8d3357 |
|
03-Jun-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
static analysis of refinements and interface for refinement trees, first version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13514 cec4b9c1-7d33-0410-9eda-942365e851bb |
20b4fd534e69163ae5992d93ebd1782a9661e623 |
|
14-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved show logic graph to more global library graph and refactored proof script filename construction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13335 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 |
a335fec441de2b53d03d3cb0ef3b19ca3604c758 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
'Reload Library' and 'Translate Graph' was broken. All GUI modules are now hlinted.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12829 cec4b9c1-7d33-0410-9eda-942365e851bb |
f39c70229e74147a02d15bd45c05a0b1b325532d |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute filename from library name always using HETS_LIB
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12657 cec4b9c1-7d33-0410-9eda-942365e851bb |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 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 |
aa21e7aa42fef563dea0cc77edbde76f66cdbe88 |
|
16-Jun-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
applyChanges can now handle a list of edges to hide too. convert replaced with applyChanges by providing a function to convert a new dgraph to a list of dgchange. hideNodes is not applied after first creation of graph anymore, it will be done in one step by applyChanges. added a option record to ginfo to store if nodes or edges should be hidden or not. all graph updates are using this option. on newly created graph, proven nodes and proven edges are hidden by default. renamed some menuentries and moved entry for hidin edges to the submenu for nodes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11799 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2f8a5e4c897a4e6bc43dbb4acce0e7627541254 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
don't takeMVar libGraphLock on exit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11610 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4d2b5aa46d4418f1f5108543ba23af394669a85 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up close menus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11609 cec4b9c1-7d33-0410-9eda-942365e851bb |
3948b3efccdd643436e1f83b54d2ef8a2e342eed |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made it compile with old uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11571 cec4b9c1-7d33-0410-9eda-942365e851bb |
49465113b42cf2bba90758e9e0d4ad15a4c40259 |
|
24-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Exiting UDrawGraph and all open windows, when all developement graph and library graph windows are closed. uses new function from uni, so a uni must be updated first. fixes ticked #674
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11570 cec4b9c1-7d33-0410-9eda-942365e851bb |
b021998bf955c87c7cdcc69f0667dc2880b3ce1f |
|
23-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
moved graph translation menu to library graph menu.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11568 cec4b9c1-7d33-0410-9eda-942365e851bb |
44c1fff98bd6c54db237bef5030657d3f47058a5 |
|
09-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added LIB_NAME to GInfo and changed GUI modules to use it instead of LIB_NAME stored in IntIState. Working on multiple open graphs is working again. Global history management is still broken. Reload in library graph is working.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11503 cec4b9c1-7d33-0410-9eda-942365e851bb |
c745add71930134bc085a544783213179bd3e734 |
|
04-Mar-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
First changes for a new reload. Not working yet.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11481 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b8fa772576455ffee720f32b86ef6ab8a87b611 |
|
23-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored getLibDeps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11309 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4e6fb26100f53e3b1e9f5b97c2e0a0c129294e5 |
|
15-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11264 cec4b9c1-7d33-0410-9eda-942365e851bb |
71654489020a03cf6ce9f2947f3da26a996f9c32 |
|
07-Jan-2009 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Changes to GUI to use common datatypes in Interfaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11229 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 |
5f05f10940f1bd98cef8026263e736411b4b7705 |
|
30-Oct-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
better error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10917 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b00a9d748d5bea461601ed7ed5198dfd30cf2d2 |
|
14-Oct-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changes DGNodeType and DGEdgeType to a structured datatype. The nodeType list and edgeType list are now created by functions using the new datatypes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10825 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c8d3c5a9e938633f6147b5a595b9b93bfca99e6 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated HetCASL and LibEnv related parts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10717 cec4b9c1-7d33-0410-9eda-942365e851bb |
697e63e30aa3c309a1ef1f9357745111f8dfc5a9 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated library names from HetCASL libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 cec4b9c1-7d33-0410-9eda-942365e851bb |
99c5009cecedd9a435f4634f1f8858679724eff5 |
|
28-Jul-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a datastructure for colors in GraphTypes and to use it in GraphMenu and ShowLibGraph, so both use same colors and can display all things uncolored. Not used in showLogicGraph. Also changed colors for the DevGraph visualisation. see #218 and #442
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10402 cec4b9c1-7d33-0410-9eda-942365e851bb |
0be5c0a1bf7280886776861f8673d02f330cd3ff |
|
07-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
swapped hideNodes and redisplay
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9886 cec4b9c1-7d33-0410-9eda-942365e851bb |
0dba5bbaaef2f620f3b83a16ab6b229c3dd50c98 |
|
02-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored copyGInfo wrt to LIB_NAME
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9865 cec4b9c1-7d33-0410-9eda-942365e851bb |
66fd8f017efdb8a6c862c3f1856dfaef90865dd5 |
|
17-Mar-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added new module GraphAbstraction as a replacement for AbstractGraphView. See ticket #480. This commit also contains fixes for the tickets #399, #471 and #482.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9775 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5f9a0b274192a496eb8d2fb8ce81c33ac2f1717 |
|
14-Sep-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Show spec is not using a text window
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8849 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb |
545d0cd78159cade346b579d06052638b19b0f72 |
|
21-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
New graphs created by Show referenced Library are now hiding internal nodes too.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8670 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d3b50fc78a0c99ff2914fb23f3c7fba6e38d790 |
|
21-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Now there are bindings for the close and exit menu. its not possible to open a dev graph twice. there is no main window anymore, that means hets quits when all uDrawGraph windows are closed or exit is pressed.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8664 cec4b9c1-7d33-0410-9eda-942365e851bb |
0616b03c091e5dc3fe98e268ae0d27856cf7bd9b |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8619 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 |
5107ba7da675778f2fded68493512b60eff8a455 |
|
23-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced GlobalContext by DGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8455 cec4b9c1-7d33-0410-9eda-942365e851bb |
40c18e3f63c23085e5bb36ea35efe141a87df8e4 |
|
11-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added some deactivations of the GUI and some messages for hiding and
revealing of unnamed nodes, the initialization of the Development Graph,
and for proofActions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8341 cec4b9c1-7d33-0410-9eda-942365e851bb |
a387debd6e69a58eaa94dce1980f6646221f5e1a |
|
10-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
after the initial hide nodes the graph layout is explicitly optimised now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8329 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe1f344573c570949fa4f255c68bb9026c609832 |
|
04-Jul-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Hide Nodes now always shows the last internal node that is not between named nodes. Sorting2 is now working again.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8234 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6638fccd3d43fe4499efca11cdc35a2825bcc9b |
|
23-Jun-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Renamed ConvertDevToAbstractGraph to GraphDisplay
--Diese und die folgenden Zeilen werden ignoriert --
A GUI/GraphDisplay.hs
D GUI/ConvertDevToAbstractGraph.hs
M GUI/ShowLibGraph.hs
M GUI/ShowGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8124 cec4b9c1-7d33-0410-9eda-942365e851bb |
8836fa284a241af325aa6f41234b5130b26ec4f9 |
|
18-Jun-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Devgraph starts at startup too. Prooffunctions automaticly show internal nodes when proofing and hides them again after.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8067 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fe593a62ad36d8458fa7ed3e9db7905e00a4f36 |
|
18-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports and cpp Option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8059 cec4b9c1-7d33-0410-9eda-942365e851bb |
109b67ffce2bad83667e2f4a319d2d7f380f91af |
|
17-Jun-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changes startwindow to library dependency graph. fixed a bug with 'graph not found' when multiple dev graphs are open, but working on more than one dev graph a a time is still not working fine.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8053 cec4b9c1-7d33-0410-9eda-942365e851bb |
0193c86704431f83731015a77cb613d67ae4e3c2 |
|
17-Jun-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Hiding internal Nodes between named nodes at Startup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8052 cec4b9c1-7d33-0410-9eda-942365e851bb |
edd35c6c970fa1707dc6ad7a3ba26119e0046223 |
|
30-May-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
step one of abstraction of DGraph, see ticket 269
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7947 cec4b9c1-7d33-0410-9eda-942365e851bb |
690b3a8bfd9629a24d189cc4701eef9d64a43d2b |
|
15-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changed the reload function. Dose actually only reloads the graph but no libraries.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7902 cec4b9c1-7d33-0410-9eda-942365e851bb |
42d694277ee67e9688f1f073542b9f0983ad5907 |
|
13-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changed the reload function to reload only changed libfiles. Not working right now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7896 cec4b9c1-7d33-0410-9eda-942365e851bb |
c63f1772f32f0fb74b388fc5be2d6a57c28b4247 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid output during reloading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7791 cec4b9c1-7d33-0410-9eda-942365e851bb |
0582ebf4c55846ea63c5ba1dd55c2c352b68e903 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid output during reloading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7790 cec4b9c1-7d33-0410-9eda-942365e851bb |
654b14739364b0b04ecc6fa12e6ecca122eb6838 |
|
19-Mar-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Implemented the reload function for reloading all libraries and the Library Dependency Graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7701 cec4b9c1-7d33-0410-9eda-942365e851bb |
b57a38981c6f64366f903f76535545a12e27db73 |
|
12-Mar-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
implemented the Show Graph menu correctly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7653 cec4b9c1-7d33-0410-9eda-942365e851bb |
29f7a4f6f22ebccabb65da54ddca86f9522d4d03 |
|
06-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Map.elems to Map.keys
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7611 cec4b9c1-7d33-0410-9eda-942365e851bb |
a668bef7a7852dc5cf6208d7318bd5c949cc69bf |
|
05-Mar-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a nodemenu, deleted the wishinst stuff, done some other nice things
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7603 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5f5b1612cf7a4a1958c6bfd229f5bb8172879f6 |
|
28-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
thiemo's start of #128
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7563 cec4b9c1-7d33-0410-9eda-942365e851bb |