aa541d525b2682d4ebaf530d6d1ff029fcad04b3 |
|
12-Aug-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
updates to MMT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18127 cec4b9c1-7d33-0410-9eda-942365e851bb |
0413c36cba625f74f193961c19826a5424c45c1d |
|
17-Jun-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
some fixes and updated to MMT integration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18019 cec4b9c1-7d33-0410-9eda-942365e851bb |
c85e5d0f754ba66123e02d17e440c3f31f2f5893 |
|
05-Mar-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
updated the templates for new logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17782 cec4b9c1-7d33-0410-9eda-942365e851bb |
56213359305d26c4011562b704ea5d69e1182de4 |
|
30-Nov-2012 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
adding MMT dir
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17662 cec4b9c1-7d33-0410-9eda-942365e851bb |