Archives

News

Old versions

SmartTools version 1.5.3

Install SmartTools 1.5.3 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.5.3/site.xml

SmartTools version 1.5.1

Install SmartTools 1.5.1 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.5.1/site.xml

SmartTools version 1.4.0

Install SmartTools 1.4.0 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.4.0/site.xml

SmartTools version 1.3.1

Install SmartTools 1.3.1 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.3.1/site.xml

SmartTools version 1.3.0

Install SmartTools 1.3.0 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.3.0/site.xml

SmartTools version 1.2.1

Install SmartTools 1.2.1 from Eclipse with this update site :
http://www-sop.inria.fr/members/Didier.Parigot/SmartTools/eclipse/archives/update-1.2.1/site.xml

Last modified: $Date: 2009-04-07 15:44:47 +0200 (Tue, 07 Apr 2009) $