New Eclipse Plugin

72 views
Skip to first unread message

Daniel Kroening

unread,
Mar 9, 2011, 11:09:43 AM3/9/11
to cpr...@googlegroups.com
We are pleased to announce a pre-release of a new version of the CPROVER Eclipse-Plugin, suitable for recent versions of Eclipse.

The download and installation instructions are available online at

http://www.cprover.org/eclipse-plugin/


Reply all
Reply to author
Forward
0 new messages