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 |
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 |
c142cc2fecfc9230ddd005235f7ecce266f06f5e |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12731 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 |
1780ec6fd307212ae6834d85ae6b5d38e059c444 |
|
20-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted ComputeTheory from TheoremHideShift
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11976 cec4b9c1-7d33-0410-9eda-942365e851bb |
edf27f8752334eb7be5a2e388f82cb3c38e9d498 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not extend local theories by using normal forms implicitely #672
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11952 cec4b9c1-7d33-0410-9eda-942365e851bb |
95cb954c00f873306bf1a60b62d3209d3cff4102 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored runProveAtNode and basic inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11611 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ff9b0bc8bcec5a8c39c9288eb2ae43b9ab6d3f6 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11602 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed2706a1de2f2bcd07ddeb2a9c706995d9adc99c |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured computeTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11601 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 |
6c08e47c4275556c18f4f89521bf21fe94c28dd5 |
|
18-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored or reverted computeTheory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11544 cec4b9c1-7d33-0410-9eda-942365e851bb |
192e99bc2be493bfdf173ebe242f2ab58e1e45f8 |
|
05-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only insert proven edge once
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11490 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 |
f3e815e0f960f2c002904b18ad75c149a3827d9f |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added node info about ingoing hiding edges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11426 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 |
8b23feb0879618f786f08152c6df6b6e2cb8898b |
|
15-Jan-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
normal form node test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11262 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 |
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 |
5cf0f23d6436a66629796c8d5b67698571dde55e |
|
19-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider free and cofree def-links #615
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11039 cec4b9c1-7d33-0410-9eda-942365e851bb |
9441f494fa57408b785e75ee658de893ac5fb2cc |
|
17-Nov-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
dont turn reference nodes into regular ones when computing normal forms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11018 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 |
eec673d5480ca98b9f309d95cb3faaf6bca14685 |
|
11-Sep-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed tracing messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10673 cec4b9c1-7d33-0410-9eda-942365e851bb |
54046c44f308bf94cd1a53106befa4d471e9e467 |
|
11-Sep-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
better computeTheory, normal form computation still needs to be optimized
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10671 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
74d53ab9fe325e310dd11f2e05dc98ccdc830937 |
|
11-Jul-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
remove commented out code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10307 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3d755ed643fca5b47f872483d23f3c5b46777c7 |
|
11-Jul-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
fixed a bug in computeTheory and apply THS for reference nodes too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10306 cec4b9c1-7d33-0410-9eda-942365e851bb |
da3a5eaf6348576b125240d3bc5ac9c5fb93a439 |
|
25-Jun-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added local sentences of reference nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10193 cec4b9c1-7d33-0410-9eda-942365e851bb |
038fc609b1d0dfe9698c4cab26fc7db2225820ef |
|
23-Jun-2008 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
introduced flag for computeTheory to use normal forms just when possible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10179 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ae0172643ea2f9bdda30073557523c61c9a502b |
|
13-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid pattern signature for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10096 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a7c6dc40aebdd2fdcb71edff6512000e8b5cf52 |
|
12-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
commented out usage of computeTheoryNf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10089 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 |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 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 |
d90c545f128262b3ed863e447bc068ab2b9b2ff6 |
|
05-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved gWeaklyAmalgamableCocone and makeDiagram to ComputeColimit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9692 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 |
90d7cac36f60438bd35124e3389b5bce6d114b46 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9095 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7e03d0708369f944b6f235057b39142a21599f2 |
|
29-Oct-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
CASL signatures colimits and gWeaklyAmalgamableCocone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9094 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 |
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 |
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 |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb |
2afae0880da7ca73c9376fd4d653ab19833fe858 |
|
23-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced GlobalContext by DGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8454 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 |
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 |
0901a0dbb50483624c10cb8d79d948e4fd2df1be |
|
23-May-2007 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
theoremHideShift function changed so it can be applied just to a set of nodes and not the whole graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7928 cec4b9c1-7d33-0410-9eda-942365e851bb |
21e62e01f2c46f78112a9a0c5f3673390f244f0f |
|
01-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved safeContext from Common.Utils to DGToSpec, added export list to StatusUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7580 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 |
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 |
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 |
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 |
b03274844ecd270f9e9331f51cc4236a33e2e671 |
|
12-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed GlobalContext to a record
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5635 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 |
e509b6f97f98f96ef258c1c3f7968241da8bde5d |
|
18-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
fixed bug causing Match (graph) exception
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5198 cec4b9c1-7d33-0410-9eda-942365e851bb |
aebf36d7483e5c012eff154d0b76de400d8fe3fc |
|
13-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refectoring: local proof goals also for DGRefs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5176 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 |
709653bffee501341e2fdc55b9223e4921047c65 |
|
16-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored basic inference and local subsume, according to theory in CASL RefMan, p. 308
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5018 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 |
5d812ccb300d5ca8b6e9474d2a644b964faf2d28 |
|
10-Aug-2005 |
Jorina Freya Gerken <jfgerken@gmx.de> |
added dgn_cons and dgn_cons_status to DGNode (in Static/DevGraph.hs)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4897 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a8880f1b6a0681e636480991d45dfea11d62ff8 |
|
29-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used G_theory in DevGraph and removed G_l_sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4829 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 |
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 |