Differences between revisions 13 and 14
Revision 13 as of 2007-07-09 09:56:46
Size: 1055
Editor: scharffc
Comment:
Revision 14 as of 2007-07-09 09:58:05
Size: 1115
Editor: scharffc
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
 * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin (for Windows)]  * '''Help'''
Line 7: Line 7:
 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin (version 1.0.0)] (jar file)    * [attachment:yicesrainbowhelp.pdf Help on the Yices-Rainbow plugin (for Windows)]
Line 9: Line 9:
 * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)  * '''Download'''
   
  
* [attachment:YicesPlugin_1.0.0.jar Yices-Rainbow plugin (version 1.0.0)] (jar file)
Line 11: Line 13:
 * Yices-Rainbow update site is http://atlantis.seidenberg.pace.edu/~scharff/eclipse    * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)

 * '''Update site'''

  
* Yices-Rainbow update site is http://atlantis.seidenberg.pace.edu/~scharff/eclipse

[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)