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 |
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 |
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 |
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 |
1d9dc6dfc2d65f34926ea78f108ace72a209010c |
|
22-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved mapAccumLM to Common.Utils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9951 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d89fd58ad8492eff3700ae8a79926c89bf337eb |
|
09-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed tabs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9899 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf4226899034bddcfe81c870cbedf28c2890370e |
|
08-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed homogeneous inclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9896 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 |
ab48738f5ec2d80e47b6e0268c75260e7c3dd74e |
|
20-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed changes order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9825 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 |
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 |
0ac3f139c8a076e5e517f79dbe67b579971d0eea |
|
06-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed void filter
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9525 cec4b9c1-7d33-0410-9eda-942365e851bb |
e44a4fd691fbfb3a1ac9f3f31aae7d5245055760 |
|
05-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9524 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 |
37e30366abd83c00a5d5447b45694627fd783de8 |
|
24-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
added comments and modified some codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8901 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 |
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 |
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 |
49d8e1a419ee5658d23762335af121179a68669f |
|
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@7552 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 |
e04726af1ef4af2f172f6ce2a075a4f004ea98f1 |
|
11-Feb-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
see ticket 88
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7407 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 |
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 |
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 |
4cb77926a2d85ce3bb32ac0938f0100c8c528dc2 |
|
30-Dec-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added inclusion test to compInclusion; such that it can be used in a speculative manner
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5571 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 |
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 |
878d0086bd0aae2d7ad64451035c4e78047b1cff |
|
03-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
no not require Show for PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4856 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 |
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 |