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 |
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 |
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 |