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 |
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 |
0a5165c161ce13d434b5c0488b533a8de98aafaa |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified DGRule data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15895 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 |
d11391a2447a2005329a95b5d770f24e62bf5b63 |
|
16-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a pending field to DG links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12837 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
54ea981a0503c396c2923a1c06421c6235baf27f |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a single Conservativity data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 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 |
cd6354cc2af5958c304c84e65707435293c5ccc7 |
|
27-Aug-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Implements rules from #698
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12317 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb88eac77c89b668f5c306173a6fbe2d513e4bcc |
|
06-Apr-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Store conservativity proof result in a second field.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11653 cec4b9c1-7d33-0410-9eda-942365e851bb |
9192fdd8f0e682ac0f0183dd854d5210fbfa4ec5 |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored link types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11573 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 |
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 |
a5c67efbd82e10368fda4e30d528157066d45c03 |
|
25-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
compose only non-trivial paths and avoid inserting the same edge twice
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10395 cec4b9c1-7d33-0410-9eda-942365e851bb |
36f69d35e01d2d6b6bdc165b49661f2a80af8687 |
|
11-Jun-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
computeTheory and theoremHideShift changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10088 cec4b9c1-7d33-0410-9eda-942365e851bb |
afe76697dd6888856a066934a1112a38809b27fa |
|
27-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used mapAccumL to collect changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9843 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5e60713e67a227d89f34394792d8adf11dfe626 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert in proper order (#504 is still open)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9794 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce3e8067c8e5c5ffe7e76d75ead46e2b67adcafc |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added function getLEdges to get the link labels between two node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9766 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5aadb569823a9d41ef761433f27dd00d7e4e147 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9765 cec4b9c1-7d33-0410-9eda-942365e851bb |
8528053a6a766c3614276df0f59fb2a2e8ab6d18 |
|
06-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated link and node origins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9703 cec4b9c1-7d33-0410-9eda-942365e851bb |
f45fad43ee1673ab280fbc700821d5d20a493eaa |
|
13-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
different equalities for DGLinkLab
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9550 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 |
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 |
64325303fc09fc4d88ced49be11ff2d29966422a |
|
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@8938 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 |
8bf7dd0947e75cf8eecb38fa9549f63f524add36 |
|
10-Jul-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
small changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8305 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 |
544b866d340cdef36332f59ecd899daa1807f6c7 |
|
12-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
reconstruct proofbasis with EdgeID, step one, see ticket 293
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7661 cec4b9c1-7d33-0410-9eda-942365e851bb |
0066f18f8ce6221eb08845adf63cc034f90d62e0 |
|
26-Feb-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
for ticket 182
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7551 cec4b9c1-7d33-0410-9eda-942365e851bb |
61328b63a7bc34f56018344d4610f7cc2f848577 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
changed maintainter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7504 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4ae50539e67874b6162f8334f6782a0d66acefa |
|
21-Feb-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 113
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7483 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ec5cb48d588cc641d27fb2dbeccb6c28856c8da |
|
31-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided long triple selectors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7358 cec4b9c1-7d33-0410-9eda-942365e851bb |
6948b7295a0521212803f15cf919395d2073e2c9 |
|
23-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored LinkType predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7333 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 |
294e24edea598311fa5af82e2f6a9cdaa531f5e7 |
|
25-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed delLEdge to deLLEdge in order to avoid conflict with new fgl-5.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6710 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 |
2c81e2bd9f9dee247c74a642c03620a2f799d0a4 |
|
17-Jul-2006 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Half of the command line interface done (no testing though)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6672 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 |
54a0a1e10bd93721cf52dbd9b816c8f108997ec0 |
|
21-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
purified automatic and cleaned up a bit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5219 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 |
a059fb5629939bb0d74da56094b12bb793759f0c |
|
25-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
move Proofs.Proofs types to DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4980 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd1c99a7b30ceaad831559d0a4b386bd167c71c3 |
|
24-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
changed list type in ThmLinkStatus to [LEdge DGLinkLab]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4975 cec4b9c1-7d33-0410-9eda-942365e851bb |
703d52d129c8ac510a6f3e8fe28008dbf82ef772 |
|
22-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
corrected format of documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4961 cec4b9c1-7d33-0410-9eda-942365e851bb |
41eeec8620877f96835b4d543b6a6b615847d6f2 |
|
22-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added module description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4960 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd4856f5eeac6f144f6116002233e5ce4cc8f41b |
|
12-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
extended compositionCreatingEdges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4909 cec4b9c1-7d33-0410-9eda-942365e851bb |
c458c6f5a2ce173d8af7a7f5cb434813eb870937 |
|
08-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
continued implementation of composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4875 cec4b9c1-7d33-0410-9eda-942365e851bb |
07eb349813c50aff304df13337b5cbc42f48c0a5 |
|
08-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4874 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cbb0121c81f5307eeefe7ffbeeac79ff6c5cdf2 |
|
04-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
added Proofs/Composition.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4863 cec4b9c1-7d33-0410-9eda-942365e851bb |