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 |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 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 |
cfbd735270fe52115cef0508d265785efcb99cd7 |
|
04-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13828 cec4b9c1-7d33-0410-9eda-942365e851bb |
55c5e901b5c3466300009135585bc70bd576dcb6 |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
created history entries for computed theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12905 cec4b9c1-7d33-0410-9eda-942365e851bb |
767e78dd0b080bc40892d0fbaff1b1528adfe36b |
|
19-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid creating global theorem loops and try without global subsumption
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12669 cec4b9c1-7d33-0410-9eda-942365e851bb |
87dbec7fd757bdf7bc364323eccc3f8ac3a514a4 |
|
12-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed local decomposition and increased automatic iterations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12629 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 |
a6e135ddad6c3b766a14b6ef68072bc6087eea7a |
|
18-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove normal form computation from automatic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11541 cec4b9c1-7d33-0410-9eda-942365e851bb |
96caff87d2db43ba90e69e5ac3adb24c9f88b3de |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore hiding edges for hide-theorem-shift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11469 cec4b9c1-7d33-0410-9eda-942365e851bb |
97852eb83c4a20e636edf6dcd47a3a8524f8bfcf |
|
02-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
take out automaticHideTheoremShift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11458 cec4b9c1-7d33-0410-9eda-942365e851bb |
50c0a8b2f8d2531c9d0e7c5e72e6abda9c7a02d5 |
|
27-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
try without normal form computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11450 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c1f6e0b2f3a8d046525a8309e5448fdfb2d0714 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only consider imported libraries of a current one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11437 cec4b9c1-7d33-0410-9eda-942365e851bb |
dda4e358a429dc24dd09d42b409d709a19eff159 |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored Theorem Hide Shift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11433 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 |
db04d64e27b5e22cca15bd8f1b865e6cb1f10d1c |
|
15-Jan-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
reverting number of loops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11261 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2793ff3985af87bce83d1567fd22f87d2e19998 |
|
15-Jan-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
corrected application of THS and added it to automatic rules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11260 cec4b9c1-7d33-0410-9eda-942365e851bb |
95259a90118715fb94b05b97708883ceadd6f7f9 |
|
16-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
iterate at most 10 times
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11166 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b136ad539bd9f4e115dff4eee4d552a42d4437e |
|
14-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored proof history #601
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11015 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 |
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 |
3fe83d4c932a8266edcf0304a97814c59821d91f |
|
04-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used a single unique id for edges and changed computation of proof basis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9516 cec4b9c1-7d33-0410-9eda-942365e851bb |
058799da94a36951b5f92378884e957e8c54bf82 |
|
31-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted accidental change of rev 9060
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9111 cec4b9c1-7d33-0410-9eda-942365e851bb |
1bc5dccbf0083a620ae1181c717fea75e4af5e5c |
|
18-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb |
c40b7badd217089d8a256dabdf8f7d4e219ca215 |
|
17-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Problem with multiple windows and undo/redo fixed. Undo/Redo is now one function with a new parameter (undo True, redo False). A global undo/redo step is now changed at least one DGraph with at least one change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9059 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 |
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 |
36acdac14e0ba2a0c5e9d89e93914d7037c42683 |
|
12-Jun-2007 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
new version of the CMDL interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8019 cec4b9c1-7d33-0410-9eda-942365e851bb |
7aab9a5a661bdd72688ec696b424b31152a4f69f |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved todo list to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7503 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1058b6caa394964f2c33b1a52af205a144abd38 |
|
25-Aug-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
small errors fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6888 cec4b9c1-7d33-0410-9eda-942365e851bb |
980c2505814d75dc689de1412f4de30b4d96314f |
|
20-Jul-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
updated version of PGIP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6694 cec4b9c1-7d33-0410-9eda-942365e851bb |
58aa0caa9f05787b4bffc2e32d1494cc1766b8cf |
|
20-Jul-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
PGIP functionality increased
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6692 cec4b9c1-7d33-0410-9eda-942365e851bb |
afddef51d985ac2ea76a6bd846f04cbbc4311305 |
|
12-Jul-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Updated local decomp, global decomposition local inference and global subsume
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6658 cec4b9c1-7d33-0410-9eda-942365e851bb |
45a9a2c4d15f9849bca7907717416339a3b9db2a |
|
17-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed proofstatus variable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5662 cec4b9c1-7d33-0410-9eda-942365e851bb |
04d04d19fdd5320953c78ad5b6d2d11f85bc4bcf |
|
17-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed type synonyms ProofStatus and LibNode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5654 cec4b9c1-7d33-0410-9eda-942365e851bb |
333780eae2be9f20fe46dedbf5eb46ffa0cbfd02 |
|
13-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
incorporated ProofHistory into LibEnv as ProofStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5637 cec4b9c1-7d33-0410-9eda-942365e851bb |
57d320fc4d0fe1a1c08cfe6cd9ebec09b86c2cbf |
|
09-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring fixing the problem of circular dg proofs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5618 cec4b9c1-7d33-0410-9eda-942365e851bb |
0206ab93ef846e4e0885996d052b9b73b9dc66b0 |
|
28-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
split off Automatic from InferBasic and checked with ghc-6.2.2
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5563 cec4b9c1-7d33-0410-9eda-942365e851bb |