| 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 |
| d1f8cb97644e43ab20998f9bc98b25abe70f6cbb |
|
19-Jul-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
updated templates for an MMT generated logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18052 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 |
| b9aca05fcd0b0a19ecf537f99a8538e5019bced8 |
|
25-Feb-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
update to templates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17762 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ba9595576a88ef26787dcbc37ea71dc272c2ba37 |
|
14-Jan-2013 |
Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de> |
renaming templates to avoid confusion with executable code
removing GTools template - should be a static file anyways
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17731 cec4b9c1-7d33-0410-9eda-942365e851bb |