Differences between revisions 5 and 6
Revision 5 as of 2007-07-07 10:14:20
Size: 344
Editor: scharffc
Comment:
Revision 6 as of 2007-07-07 10:26:35
Size: 566
Editor: scharffc
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
 * [attachment:yicesrainbowhelp.pdf Help on the Yice-Rainbow plugin]  * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin]
Line 5: Line 5:
 * [attachment:yicesrainbow Download the Yice-Rainbow plugin]  * [attachment:yicesrainbow Download the Yices-Rainbow plugin]
Line 7: Line 7:
 * [http://www.eclipseplugincentral.com Eclipse plugin central]  * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code]

 * Yices-Rainbow is referenced on the official [http://yices-wiki.csl.sri.com/index.php/Main_Page Yices wiki]

 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central]

[http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg] [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)