2fffd97efb53c792854c1557a87fd4f994e5a2b3 |
|
13-May-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of networks, renamed graphs to networks |
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 |
a22f6c349ecfc760b4d250eaaebe49db49767feb |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
extended entailment type |
a3efc26335366e2333d06e738cf0389ff95176dc |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
reuse string constants |
5485c548a1f430afd2029cc7cba65fd66a019fb9 |
|
19-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
result is already a keyword (and illegal as library name) |
e3a9147a74ebfba681ab0a4ac3f22192f600ec88 |
|
19-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added parsing of QueryRelatedDefn |
e9c301a9ffc1d45f1e7221dda63c8ec81aad4245 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added QueryRelatedDefn |
682721c8f0ebbc9533184ee52b288778e434101c |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted relation-ref incl. default relation |
5fee2261e6cd08951dadfa48df5cdd1641b671a8 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added optional assuming AlignSem |
9f75362500e68e379bbe1106ccaa078bfc54aafd |
|
13-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
refactored ModuleRelDefn and removed many type synonyms |
4646d2a52641d50df02fc5c68c275607cf79c398 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted equiv-defn |
ff128e4fa0a6498df96b2e8f13c84e339260b121 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
equiS is different from equiv |
aa0f5bca984ed6ea99f01dffdb78885083a36d78 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added entailment |
72b8c0349a58cf0eb361cb5bb410d95a0372900a |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
shared Network after combine and as lib-item |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
3c0010d5aa30f49c4d1dc579d394c48804a0bd97 |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
renamed constructor, too |
1f2c732265a1292f0d7c51a4a7ca6be5dd370df6 |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
replaces keyword diagram by graph |
743178d5294deadc2ed15e56b5e58ca0e7101fe4 |
|
02-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added diagram as described in #1257 (and adjusted keywords)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18567 cec4b9c1-7d33-0410-9eda-942365e851bb |
34b91d5f66992fd04bfaad5076a21369c41448b3 |
|
07-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to replace old download of missing specs #1226
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18428 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c5ae2bb1841d0efb4fa1fb55c510fd1ac0884fd |
|
07-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from symbols to symb-items-lists #1227
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18426 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fe7f3d3fba58c1892ba8fea90b144eced88ca4f |
|
06-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused view-type for align-type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18421 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7bba589fb78fe61379de93d531556c00da36cd9 |
|
06-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed emptyLibName problems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18366 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f7b28758615c7caa1c976dc72023b8e0d2b4b0e |
|
22-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
unified printing and parsing of align arities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18278 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d901fd5053fb152680165ed98a5e53a0e1b69f7 |
|
22-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented printing of Equiv_defn and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18276 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecc41b9e2d14a3f43c231251a16fadb08b38f5b7 |
|
20-Aug-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL equivalences added to parser; Pretty instance still missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18133 cec4b9c1-7d33-0410-9eda-942365e851bb |
a65c6747c9acbbebc93baba7bae94d2e3d8cdafb |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added symbol parser, for use in correspondences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb |
11dbf7f1263f426f6bbc53c5b99a98e2344a92a4 |
|
06-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize CLIF as a serialization for CommonLogic,
added parser + pretty printer support for DOL modules,
minor cleanups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17119 cec4b9c1-7d33-0410-9eda-942365e851bb |
de8eee2014437ec4020be15cd363257f87e79943 |
|
06-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored pretty printing for #1050
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17116 cec4b9c1-7d33-0410-9eda-942365e851bb |
df543ca194bc428f9a01b176a8ef05d1be565a10 |
|
05-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
Added support for DOL alignments,
Adapted DOL parser to new syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17114 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c244f12ab0dc7ba1baf1413266093886a570e13 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Logic_name to LogicDescr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17098 cec4b9c1-7d33-0410-9eda-942365e851bb |
55b14de0878c596dc00920ecac65bab478e930e8 |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed more simple ids to IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16963 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b44bedeab030a703111086c92be0b5e38a8f9a7 |
|
09-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed iri pretty printing issue #1037
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16878 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fea26a73b8fa69b22dfd2653d8f7bdacb45b9c9 |
|
17-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented #993
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16662 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cb6df4f21c52732336579a79f7e5d28299b3500 |
|
16-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
morphism parser added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb |
566e0afa38d8874eaa106f25f21eab2bae39e910 |
|
14-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
white space change only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14318 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 |
f20841e0b3d9311fd39f2615e43538214f720dd5 |
|
11-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Imports are now handled at the library level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13580 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ef30bf06184652cee36401f2eb4ef98e49e1321 |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support one unamed spec and an unnamed library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12494 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 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 |
f3faf4e4346b6224a3aaeeac11bac8b5c8932a29 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved GENERICITY, PARAMS, IMPORTED to AS_Library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8600 cec4b9c1-7d33-0410-9eda-942365e851bb |
34bff097c14521b5e57ce37279a34256e1f78aa5 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb |
70d01ccb07ab33f912bb912d285d4b675fcaa008 |
|
12-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a field for the last modification time of a libfile. This is needed to implement the reloadfunction, that only reloads changed libfiles.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7895 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc693ae883096a1ee8a9e1edd217357bfeec0f8f |
|
12-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added original file path to indirect links of LIB_ID
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7647 cec4b9c1-7d33-0410-9eda-942365e851bb |
54200867c1a7f04c686b0aad4999fabc19b8241c |
|
26-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided single colons or equals on a line
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7555 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 |
49588f3d624e56594d888bc622bc90618ae3c2c5 |
|
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@7286 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
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@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7e108f84a8795826345c440304e5557198d32c9 |
|
31-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used codeToken to print the version number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6748 cec4b9c1-7d33-0410-9eda-942365e851bb |
586119194c88f329ac40be18e8a4b7a60cb900a7 |
|
19-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used cat for params in brackets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6685 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfeb3878cfa99c0e88dec8eae05ac650509cd88c |
|
18-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
connect equals with semantic anno
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6676 cec4b9c1-7d33-0410-9eda-942365e851bb |
01a6713bd7d400adc009f2972a1fab02ff1fb5ee |
|
17-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
grouped imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6675 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef7d1a1d5454458d46b9acefeda94b12bdc695b2 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6609 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae8052003e1ec7247597f034069db0939a7387e1 |
|
04-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
used sepByCommas or ppWithCommas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6585 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0b7fb099b49f0fde4eed26004f83aa42003601c |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
also treated initial semantic anno
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6550 cec4b9c1-7d33-0410-9eda-942365e851bb |
f869060479ea7f862beb97bb8a676c07ed3498f4 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
skip void groups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6544 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd3d5967cb660d54d6d4e03b0f5ec536c0d33958 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider outer annotations by moving them inwards
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6543 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e27c68ef285b5b875b97cbb7ef12462a6ccc4f3 |
|
29-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused defn data types and switched to new pretty docs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6534 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2f1e58e6ef82fd5a02a6ba5da863d2a61ccb95a |
|
26-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert vertical space before and after global annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5722 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6a97584618435ff81e8d1cdec5ce50ad924da9e |
|
26-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed wrong newline printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5719 cec4b9c1-7d33-0410-9eda-942365e851bb |
2551d250bd9b64e91901ba467bdc4d3a12b5de23 |
|
27-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4801 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 |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d00d8089fddadb7afe31bb1e9386e5e38474796 |
|
21-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up imported keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3705 cec4b9c1-7d33-0410-9eda-942365e851bb |
704c2a3f6a085d60339b9213731e09d0f57e3c5f |
|
14-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ref spec defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3676 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
2696a56c9b517a0d98db4c61ac69c27d467a9772 |
|
18-Jul-2003 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
improved the printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1559 cec4b9c1-7d33-0410-9eda-942365e851bb |
f39493e876547adf5fd9d8c9b094cda58380c17e |
|
28-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made everything in Common (nhc98) portable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1155 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
15d3f558a8506ed7bf2b1cf3d471448283dfe2dd |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved into Syntax subdir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@947 cec4b9c1-7d33-0410-9eda-942365e851bb |