Differences between revisions 9 and 10
Revision 9 as of 2007-07-09 09:49:06
Size: 764
Editor: scharffc
Comment:
Revision 10 as of 2007-07-09 09:54:07
Size: 967
Editor: scharffc
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin]  * Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows.
Line 5: Line 5:
 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin] (jar file)  * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin (for Windows)]

* [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin (version 1.0.0)] (jar file)
Line 11: Line 13:
 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central]  * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central] (soon)
Line 13: Line 15:
 * Please send your bug report, improvement requests and comments to cscharff@pace.edu  * Yices-Rainbow is registered in the [http://eclipse-plugins.2y.net/eclipse/index.jsp eclipse plugins directory] (soon)

 * Please send feedback to cscharff@pace.edu

[http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yicessri_small.png] [http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yices_small.png]

LEP: Yices_Rainbow_Eclipse_Plug-in (last edited 2013-06-04 03:44:17 by localhost)