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 |
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 |
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 |
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 |
ce7717eccb2f2f56f8507043e1b269d7537f538b |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed again undo and redo for (simple) theorem hide shift #505
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9790 cec4b9c1-7d33-0410-9eda-942365e851bb |
d24f84f421ae5ab297a94857c4583bc9ac13fe2b |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used innDG to get incoming edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9768 cec4b9c1-7d33-0410-9eda-942365e851bb |
854680aad196e470b1861bff99abd16bd814ffa2 |
|
13-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed #505
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9755 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 |
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 |
5674a959750ec9b9290a34317e6de57bcbd3ac01 |
|
24-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8896 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 |
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 |
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 |
94509b4d0574fc47a85c8af203b7405cf5d0570e |
|
03-Mar-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
fixed some warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7594 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 |
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 |
90a0050cf7979b2ca1fde7991462851abcbcf3a3 |
|
31-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor clean ups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7361 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 |
944906e4ca2ce8d1ad9a77d06397986c439e2970 |
|
14-Dec-2006 |
Cui Jian <ken@informatik.uni-bremen.de> |
simplified theorem hide shift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7262 cec4b9c1-7d33-0410-9eda-942365e851bb |
0546cff3f4471ada78a9c6e5770fc0d1aa068071 |
|
14-Dec-2006 |
Cui Jian <ken@informatik.uni-bremen.de> |
the simplified theorem hide shift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7259 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c7d0f7d06fa970a1c2591fdec20997c159d79c6 |
|
11-Dec-2006 |
Cui Jian <ken@informatik.uni-bremen.de> |
simplified Theoremhideshift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7241 cec4b9c1-7d33-0410-9eda-942365e851bb |