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 |
5e3ae9719c0a2ea1e58cf98d1d9b29e044738001 |
|
02-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18359 cec4b9c1-7d33-0410-9eda-942365e851bb |
11dce253e9b6fb9fd2a5455a4c7f46979ef5a0b8 |
|
02-Dec-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
remove Common/UniUtils.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18357 cec4b9c1-7d33-0410-9eda-942365e851bb |
012c2985ed2387f8d9156f9234176e02eb36ae74 |
|
19-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
this order seems to run better under pc-solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14969 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb2078594d1f581d4712c0655e721fd74e4aeddf |
|
13-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to improve termination behaviour
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14063 cec4b9c1-7d33-0410-9eda-942365e851bb |
87f44ff0df5e33bfd911a78ea54146164a0a0f7d |
|
02-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
create .uDrawGraph3.1.1 file in home directory if missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13975 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 |
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 |
077714573666df8dea5300836cbea0d4b37d1a78 |
|
04-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
got rid of old exceptions and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13823 cec4b9c1-7d33-0410-9eda-942365e851bb |
6777c949dc148d60979bccafc932c7f5cdac28f3 |
|
04-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate worker thread for solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13523 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ebfdaab3bd108d72db454b0afc13caefc2ce007 |
|
04-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
initialize GTK in the main thread
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13521 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 |
b5255a2d55f35e228966b25568489e19916b85f2 |
|
21-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected condition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12991 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbb2b28017cce58a06e5c93a98def1672d42f110 |
|
21-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked wish and uDrawGraph binaries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12990 cec4b9c1-7d33-0410-9eda-942365e851bb |
22898b803084f6ac5113ad354bbc821403bc70a1 |
|
20-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added 'wish' to error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12988 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 |
7db26eaf540bd4cb2872f873c244d6827a1562ca |
|
21-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (error) message for a missing graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12477 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 |
70de5ef9eed6d478c916c4322a1c910d5efddac7 |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
accidently checked in a local version, undoing it now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12124 cec4b9c1-7d33-0410-9eda-942365e851bb |
5cd91fe64fc397243bd482bed3834cafcc6ccffe |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
accidently checked in a local version, undoing it now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12123 cec4b9c1-7d33-0410-9eda-942365e851bb |
de9dfc0c1b097992e4082500893307e1655c744c |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
accidently checked in a local version, undoing it now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12122 cec4b9c1-7d33-0410-9eda-942365e851bb |
5422177d51abc1297f9ae8f5df7dfb8decd69302 |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
xml output adapted, value-attribs are output as text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12121 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 |
3b6c61a988746e57a0b4eb1d739492efb0814590 |
|
31-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to compile with ghc-6.8.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11634 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 |
7e6516aa22c46a706e0321c0af432d3f24cf57ed |
|
21-Feb-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Hets throws an error when gui is not initializeable. Reason can be view by using verbose level 5. see #670
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11417 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 |
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 |
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 |
6842ea0bf9450452e03c0fc9a0c54723457fdb57 |
|
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@10670 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ee9c3b2afb91936242d34ebb8bd370b8080bcd9 |
|
07-Sep-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added better GTK/Glade support. Fixed problems with multithreading, a thread for the gtk main loop is created at startup and all gtk interaction takes place inside that thread. Added rules to Makefile to convert glade files into hs files where the xml data is stored in a string. Added function to store xmldata into a temporary file to load it with glade. Added a gui for the constistency checker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10662 cec4b9c1-7d33-0410-9eda-942365e851bb |
16cef01b8c0a4ecd453efadd5a03134cfff62baf |
|
01-Sep-2008 |
Markus Gross <Markus.Gross@dfki.de> |
The development graph now generates tactic script information which can be saved via the menu item: Edit -> Save proof-script.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10620 cec4b9c1-7d33-0410-9eda-942365e851bb |
a96ea65117eaf61ed34248bdf76e4e2144288c9d |
|
09-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Undo/Redo performance improved.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9017 cec4b9c1-7d33-0410-9eda-942365e851bb |
152e9fe73d97a51ab34ea7e6e6118521776a0e22 |
|
29-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Changes in undo/redo.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8741 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 |
7cfcecda7cc66d80e1acc2c5687b0a5574bca1c5 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove auxiliary function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8547 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 |
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 |
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 |
53e76316f409f6b1b57ed3d2e5cb9cfe1cb511e5 |
|
10-Jun-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Splited ConvertDevToAbsractGraph.hs into four files: GraphTypes containing the typedefinitions, GraphMenu containing the functions for the menu creation, GraphLogic containing the Logic to manipulate the Graph, ConvertDevToAbstractGraph containing the inistialization.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8006 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad4563713293dfba43828fd500eac2edcc6807eb |
|
24-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Deleted LibEnv from ConversionMaps. LibEnv just stored in GInfo.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7930 cec4b9c1-7d33-0410-9eda-942365e851bb |
28650c96efa2889d8ae688ba988ee60336958d38 |
|
24-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Deleted GraphMem and uses GInfo instead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7929 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3543cc5eeee9e213cfc32a8189b3a72cb994315 |
|
18-Oct-2006 |
Heng Jiang <jiang@tzi.de> |
added parameter to convertGraph in order to change the title of devgraph; errorMess instead text windows
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7064 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b50a0fb9834540caf04471389df975fbd356ca3 |
|
30-Aug-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
added comments to all functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6902 cec4b9c1-7d33-0410-9eda-942365e851bb |
24186e46f5c049a19af9e7b31147499a320ee760 |
|
24-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Changed order close commands so that its nicer on linux.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5698 cec4b9c1-7d33-0410-9eda-942365e851bb |
69c7b8d8f957bb6a52931d0c6eef3b0afe65f781 |
|
24-Jan-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Wish is now shutting down correctly on MacOS X.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5697 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a2e4f7d49b88329d6cf68cde7545488e431196a |
|
16-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused showDGGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5647 cec4b9c1-7d33-0410-9eda-942365e851bb |
f77f29e84b3f6e791c82e61b13fbf76582bedd2f |
|
21-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
ShowGraph only works with uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5439 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c2844914afecb30317bc9ec78a884c36e0dc1d2 |
|
10-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed putStrLn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5371 cec4b9c1-7d33-0410-9eda-942365e851bb |
9726e6290bc036adbad9fa7751fc05c10e79d647 |
|
10-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dg file handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5370 cec4b9c1-7d33-0410-9eda-942365e851bb |
dda5ab793f1615c1ba1dcaa97a4346b0878da6b1 |
|
06-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed as much code as possible out of hets.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5154 cec4b9c1-7d33-0410-9eda-942365e851bb |