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 |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
66c6e29ddfa36396c7ebfc02d01d8d7e6c26976c |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed addToRefNodesDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16392 cec4b9c1-7d33-0410-9eda-942365e851bb |
290674793b16476e77c99fcf6cadecdb7b2947c9 |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected dereferencing properly spechub/Hets@7b95c208b55d0a41e2cdb21c7cf0ffb644798231
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16388 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b95c208b55d0a41e2cdb21c7cf0ffb644798231 |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert spechub/Hets@a2cf22f16e226fcc85aa0801f001923ab2db49dd as it introduces duplicate ref-nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16387 cec4b9c1-7d33-0410-9eda-942365e851bb |
4dbc9075fdbcffbdf7bc0809d185c3bfc38fbd9d |
|
25-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16383 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 |
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 |
d24317c8197e565e60c8f41309de246249c1e57e |
|
07-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added source node for hiding thm-link morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15084 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 |
4f07c310c7083eaf5d54fb7d14a4db1cd28e45fa |
|
30-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
mark proven global theorem links initially as pending
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12867 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 |
cd45bb1a7c7bcf5667e3db4cd78dcea51b95d9a7 |
|
05-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also do not create a local thm link if there is a definition link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12788 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 |
77f7dcf46acba47d5986907cae32ce6c615871c9 |
|
20-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not create a global theorem link if there is an equivalent definition link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12677 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 |
df38505443a40ea057313d099cec2621fc408f80 |
|
15-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
partly revert spechub/Hets@7308170a663b06590b9ca5c9470baafbbf411f35 and consider all ingoing edges to fix disproved result in #750
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12650 cec4b9c1-7d33-0410-9eda-942365e851bb |
7308170a663b06590b9ca5c9470baafbbf411f35 |
|
10-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only consider definition links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12624 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a4602500f0b48437405cb9f0eef36066093a60c |
|
10-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reuse signature index
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12621 cec4b9c1-7d33-0410-9eda-942365e851bb |
0155c8d32b79581866f07cc593aa8a4c722ceef2 |
|
07-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
precompute global theories to speed up local inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12586 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 |
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 |
f614fcd3185b93d4b67c7590fead2b14d3d50601 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11464 cec4b9c1-7d33-0410-9eda-942365e851bb |
b85135bea5cb5c8b0841d28fcf9e51f5c0461218 |
|
02-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert spechub/Hets@2e0344654791e454070ac9fd9fa997525236d9e0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11455 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e0344654791e454070ac9fd9fa997525236d9e0 |
|
02-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected morphism of hiding thm link
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11454 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4df2219ea6f47a5e510503e475c38362e8464eb |
|
21-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shared common rule names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11047 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 |
020ef7ae96936c65cec4c35beee4d4ba52e6719f |
|
25-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed DGToSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10394 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 |
3d101c9870116d9965ef284c3cd7d3b14df69481 |
|
20-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected change order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9823 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbd9ff47b93f02c2cb2f101b074da02a2f683fe3 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
handle proof history (replay, undo, redo) for global rules and automatic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9788 cec4b9c1-7d33-0410-9eda-942365e851bb |
12368e292c1abf7eaf975f20ee30ef7820ac5dd5 |
|
10-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced differently typed index maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9730 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 |
84a30e66aef85cc54d3dd6f8e408729007fe8809 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used DGNodeInfo instead of (LIB_NAME, Node)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9691 cec4b9c1-7d33-0410-9eda-942365e851bb |
1788a1325a425375f05ca01f62903d748718e3ef |
|
14-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed getAllGlobPathsOfMorphismBetween
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9560 cec4b9c1-7d33-0410-9eda-942365e851bb |
beaaf7e4ca703f8e67da48506ff6f731f8008fa3 |
|
13-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed getLEdgeSrc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9555 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 |
5efed683fd173e9d53bd5f1929ba5b0c8a228710 |
|
11-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used labDG instead of safeContextDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9542 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 |
e482d85bc68c1ef56fbf0371b7287271b9857165 |
|
31-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved other filters, too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9502 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b4b1dc5b5bc6e85f9f910b0d992fe658eb064be |
|
31-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate filtering
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9500 cec4b9c1-7d33-0410-9eda-942365e851bb |
17d4f8c5576d93f36cafe68161cdb960ec49ce7c |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved ref info deeper into the node label
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9009 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ad31de80b6544478f15dde43e22f0b7f612c438 |
|
03-Oct-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
MVars for locking in DevGraph replaced by Maybe MVar to avoid using error.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8984 cec4b9c1-7d33-0410-9eda-942365e851bb |
99e6fb75f064189db8f26fe74eb8f01af353e58e |
|
01-Oct-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments and cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8971 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 |
b5a5755f7d034f5ebc9f7f45e878c68695e139c4 |
|
24-Aug-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
MVar for locking added to DGNode and DGRef.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8703 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 |
846286f96bb7bd5d2b9db834561a815f832a8d90 |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
exported also globDecompAux for tests and adapted white spaces to guidelines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8651 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6a6c1a2fb6526fdcacd8386c9aa3340169a1049 |
|
17-Aug-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8640 cec4b9c1-7d33-0410-9eda-942365e851bb |
f69416aa2b00518744d25a93aefbdb778f399787 |
|
31-Jul-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 269
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8527 cec4b9c1-7d33-0410-9eda-942365e851bb |
e59f1a851f903a78f18bfef43c8079bfc914c9c6 |
|
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@7948 cec4b9c1-7d33-0410-9eda-942365e851bb |
15e00b8e0ac9f75be6817e6093932197e361cc0b |
|
10-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted to previous revision 1.33
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7887 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c08058468dab64c89a8eae51b56f9afb8b6cb71 |
|
09-May-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7880 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 |
94d9a4cf9aca9662f2a35f1d53170e86739baf24 |
|
11-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
made Inserting of an edge safer, referring to dgl_id, details see ticket 290
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7638 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ff3af2a00b2663a7aaeffa820338a895dc38b82 |
|
07-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 159, 160, 289
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7615 cec4b9c1-7d33-0410-9eda-942365e851bb |
62f02ac1e64c5b894f102330d0bdfd41073d4c0d |
|
05-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 160
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7606 cec4b9c1-7d33-0410-9eda-942365e851bb |
7656c4eb1576d6703f4f42d759e34b09d5ab409d |
|
05-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 160
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7605 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 |
0f2be8b95750f4ac578e8a92ac6ef73b48526580 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7514 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 |
fae411b64578a883e1ac8b5d51b6f88b2a210c0d |
|
31-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7359 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 |
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 |
529ac78072dffcc464d09f42e9aad39eab87d15a |
|
30-Jun-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
some improving of notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6556 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ef281a7ff64d9e4c78565f585d02b0f1aac02c4 |
|
31-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nub application
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5748 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 |
f5002b03ad30aeef45e2c2254dd2ede20efbaa5e |
|
06-Jan-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved computation of proof basis (still not correct)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5606 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 |
4ea99e115bbade1632815267d5e0dcb9931aac1e |
|
02-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
decorated theory sentences,renamed DevGraph.Open to LeftOpen,handcoded ATC/DevGraph.hs due to cyclic data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4843 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbf1f54798b97ba0b10621692001d29314028d48 |
|
14-Jul-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
globDecomp now only takes ingoing edges not paths and inserts global thm if the ingoing edge is global def
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4668 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c4ad771f59dc788feb23665ce439734f8141f4b |
|
30-Jun-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4538 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 |
e220b2051a2342a9291721e6c7f408860bed01b7 |
|
14-Jun-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
extended data ThmLinkStatus in Static/DevGraph.hs so that Proven now has also a DGRule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4421 cec4b9c1-7d33-0410-9eda-942365e851bb |
120eec9ff1748e1ae786e2ab073234198bc0f701 |
|
01-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted large Proofs file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4355 cec4b9c1-7d33-0410-9eda-942365e851bb |