History log of /hets/MMT/newLogicTemplates/Tools.tmpl
Revision Date Author Comments Expand
76457fb926e307be264794bc43c0dfa5f3740be1 20-Mar-2013 Aivaras Jakubauskas <a.jakubauskas@jacobs-university.de>

updating templates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17802 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