Archives

News

• SmartTools: Eclipse Plug-ins Factory @ EclipseCon 2007
  
• Presentation of the Eclipse Plug-ins Factory @ Linux 2007
  Poster, Flyer

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