| dda27ed86257e0480f862b841259819f59d4724e |
|
27-Jun-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
include HETS_MAGIC in mac image |
| 516ca24f64f1b6e45577ee44dced94e7e358336b |
|
27-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pellet, AProVE and OntoDMU
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17066 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8cd8515a95c02d0701aa8a52d3dba93b96b8f875 |
|
26-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
include owl jars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17065 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 685e0d9d166d4acd6c36d2c5a7cc17a42ccbb38e |
|
26-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
current state without GTK
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17062 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2cf47707a1a9c038eb8f001ae7e5e05002a9feb5 |
|
25-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
set locale
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17059 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 186de7a36bdf5910e0616c3a0447603e98217dc7 |
|
25-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved options to out of script
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17058 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 43f979d9b97b04d1ce6e76c81ec0d71560324e4e |
|
24-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
hets script for platypus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17051 cec4b9c1-7d33-0410-9eda-942365e851bb |