Differences between revisions 16 and 17
Revision 16 as of 2007-07-09 09:59:40
Size: 1074
Editor: scharffc
Comment:
Revision 17 as of 2013-06-04 03:44:17
Size: 1092
Editor: localhost
Comment: converted to 1.6 markup
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
[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_large.png] [[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_large.png]]
Line 7: Line 7:
   * [attachment:yicesrainbowhelp.pdf Yices-Rainbow help for Windows]    * [[attachment:yicesrainbowhelp.pdf|Yices-Rainbow help for Windows]]
Line 11: Line 11:
   * [attachment:YicesPlugin_1.0.0.jar Yices-Rainbow plugin 1.0.0] (jar file)    * [[attachment:YicesPlugin_1.0.0.jar|Yices-Rainbow plugin 1.0.0]] (jar file)
Line 13: Line 13:
   * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)    * [[attachment:yicesrainbowsourcecode.zip|Yices-Rainbow source code]] (zip file)
Line 17: Line 17:
 * Yices-Rainbow is referenced on the official [http://yices-wiki.csl.sri.com/index.php/Main_Page Yices wiki]  * Yices-Rainbow is referenced on the official [[http://yices-wiki.csl.sri.com/index.php/Main_Page|Yices wiki]]
Line 19: Line 19:
 * Yices-Rainbow is registered in the [http://www.eclipseplugincentral.com Eclipse plugin central] (soon)  * Yices-Rainbow is registered in the [[http://www.eclipseplugincentral.com|Eclipse plugin central]] (soon)
Line 21: Line 21:
 * Yices-Rainbow is registered in the [http://eclipse-plugins.2y.net/eclipse/index.jsp eclipse plugins directory] (soon)  * Yices-Rainbow is registered in the [[http://eclipse-plugins.2y.net/eclipse/index.jsp|eclipse plugins directory]] (soon)

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_large.png

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