Minor Updates to the FACPL plug-in

A new version of the FACPL Eclipse plugin has been released. Minor typos on the UI and on the SMT-LIB code generation have been removed.

To update your FACPL Plugin use the following Eclipse Update Site

http://facpl.sourceforge.net/release/2.0.2/

This entry was posted in News, Tool. Bookmark the permalink.