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 |
7eef4abba326fbc8062af96120b6601e37af8ca8 |
|
20-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
relax import names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17698 cec4b9c1-7d33-0410-9eda-942365e851bb |
f710716850d71eb815c29da2b92a0427b6e738d8 |
|
19-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support exec and missing pre and effect
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17692 cec4b9c1-7d33-0410-9eda-942365e851bb |
146624fa77c493092758e919a639cd4cb4fcb066 |
|
19-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved parsing and printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17690 cec4b9c1-7d33-0410-9eda-942365e851bb |
18b8b9a39d3d98d1769f8220f16bd9046d16455d |
|
17-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
made most examples go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17687 cec4b9c1-7d33-0410-9eda-942365e851bb |
8306a174c0e951d32419b6c9de988cc6d40f971c |
|
14-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17685 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb23aed40343c1ec1d7978157afe37a919596b29 |
|
13-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added monitor syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17684 cec4b9c1-7d33-0410-9eda-942365e851bb |
2672f7ba09d515296f6d807f85ca7a517518e6d3 |
|
06-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked against examples/*.ont
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17676 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebbd181921121f6e6f401780fb21d1448ad92912 |
|
05-Dec-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed old code and adjusted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17675 cec4b9c1-7d33-0410-9eda-942365e851bb |
209184249d0a0d99a64070b320e54d22705e283f |
|
30-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switch off ship syntax while changing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17663 cec4b9c1-7d33-0410-9eda-942365e851bb |
b42c056cf05677cf0d3e643e7c079936ec13061c |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed pretty printing role types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17266 cec4b9c1-7d33-0410-9eda-942365e851bb |
798d690905d657610e8b27d91334eaf57f7c1d3f |
|
14-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
finished conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17183 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee64b7c3c9d9bdbd923fc92079da87db942e4643 |
|
13-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
create concepts and roles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17178 cec4b9c1-7d33-0410-9eda-942365e851bb |
53fd920d3f59ef8377ab99d4e0dc12794d214ab7 |
|
10-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
minor extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17176 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fe357d196fa378cf6dd113c3fa459c689463913 |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow digits to follow immediately
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17169 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfdd7ed8f9f47b4f34187377e52a478a97840d2e |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse most onts appart from Disjoint(C1,..)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17168 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f030104cc75cf93c7301f57011a99aa29961bdc |
|
09-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ontology language of serge
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17167 cec4b9c1-7d33-0410-9eda-942365e851bb |