4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
11c3a215d5cf043181e83929f1ce214df65cb587 |
|
18-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
show lib-ids without ankle brackets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18401 cec4b9c1-7d33-0410-9eda-942365e851bb |
720eeee7c9d8442093c8d05bed743193eee906e0 |
|
27-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid a separate LibId data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18335 cec4b9c1-7d33-0410-9eda-942365e851bb |
c80f456a47cd2c7f7517ead4bee97ee39df80809 |
|
07-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
hetsvse does not write to stderr reverted last change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17612 cec4b9c1-7d33-0410-9eda-942365e851bb |
18a649b73e9c949be22286475cbb67589ffdffdb |
|
07-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
output hetsvse errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17611 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
aa4eb5fe640e936ff0273226bc2b76a11d0819a4 |
|
15-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16134 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 |
e7450a1ded5ac263b96590a2d1a8302ee458dc2e |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13676 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 |
b1fa6205ad16fa9df39c389300737f3f5a60ff14 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
recompute global theories after translations #751
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12656 cec4b9c1-7d33-0410-9eda-942365e851bb |
937b288690ccf51ac6584efea1e0529f971181db |
|
09-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-compute global theories after proving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12617 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 |
2665d7759e63acff0bcd4135678f2cc6f2041d46 |
|
21-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from OPTIONS to LANGUAGE pragma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12478 cec4b9c1-7d33-0410-9eda-942365e851bb |
c4698c79f1f7de1a1f96a0c3ff1caf43f031ee3a |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only write out supported links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11926 cec4b9c1-7d33-0410-9eda-942365e851bb |
041f100aad732af02d566c18e3295140bc0c3ca1 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored EdgeId showing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11815 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e3aca4178372af672efb237d16087c603fe5564 |
|
26-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
call "Prove Structured" via proofMenu rather than via proveAtNode and basicInferenceNode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11596 cec4b9c1-7d33-0410-9eda-942365e851bb |
210dfc1dae8a99a85203384b282c36a0b91aad03 |
|
19-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualify the whole libEnv
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11550 cec4b9c1-7d33-0410-9eda-942365e851bb |
05b9abe2e7d9e6126bf4ae29be6ef3693f32de73 |
|
18-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create theorem VSE links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11547 cec4b9c1-7d33-0410-9eda-942365e851bb |
60bf7f52638962c93ec43da9aad8cafc9f09c318 |
|
04-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added failure descriptions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11483 cec4b9c1-7d33-0410-9eda-942365e851bb |
df9a64f1f61bf944b2116f92fce7083ff291debc |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
top sort nodes of a graph too, when marking hasHiding, because
Static.ArchDiagram.extendDGraphRev inserts reversed GlobalDefs
(which made UserManual/Chapter8 fail in "nodeHasHiding")
isDefEdge was moved and extended which may change Proofs.Global
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11429 cec4b9c1-7d33-0410-9eda-942365e851bb |
2686d4438ffde954ffbb3a3f307642a893b33570 |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tar VSE specification files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11425 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f00fdae29d166de729f63ac7fc4f86fae9f0ca8 |
|
18-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11400 cec4b9c1-7d33-0410-9eda-942365e851bb |
39fd5022c1b7508fc9efa9fe2b171ed014063ee0 |
|
18-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit parens around GLOBAL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11399 cec4b9c1-7d33-0410-9eda-942365e851bb |
96ffef6d0f8d4a0cdf0e9b63cdd1b6a61125ba36 |
|
06-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
nodes must be sent in topsorted order
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11373 cec4b9c1-7d33-0410-9eda-942365e851bb |
27dc9012c483ff2f69ab96feac59406be7f0a275 |
|
04-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
write to log file rather than to stdout
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11362 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2d79c976fd7f82d18a335756bc53cd79f3055a2 |
|
04-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve reading and error handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11358 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfc5753e09c2f0f3290f617084b3e3a09df898af |
|
03-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed structured VSE proving
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11354 cec4b9c1-7d33-0410-9eda-942365e851bb |
116f6d65e5811fba9b64502302252084a3dd913a |
|
30-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
support VSE directly, too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11340 cec4b9c1-7d33-0410-9eda-942365e851bb |
22573c6b275549f2fe22f38daf53230edcdb6c6b |
|
27-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
record proof status
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11319 cec4b9c1-7d33-0410-9eda-942365e851bb |
9be1052882e8380405e446e5743d9b9d90fe4d46 |
|
26-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to update proof states
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11317 cec4b9c1-7d33-0410-9eda-942365e851bb |
f70c603dfe0cb67e82a2b5787019c46a425df531 |
|
21-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
libEnv_flattening_heterogen harms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11294 cec4b9c1-7d33-0410-9eda-942365e851bb |
248ab4f138caa9a594cd3fe0815e7fd4150701ef |
|
20-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
send structured theories to VSE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11287 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ac36418f204bbe56f4cd951a979180721758999 |
|
19-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended for structured VSE proofs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11281 cec4b9c1-7d33-0410-9eda-942365e851bb |