Differences between revisions 7 and 9 (spanning 2 versions)
Revision 7 as of 2007-07-07 10:28:09
Size: 665
Editor: scharffc
Comment:
Revision 9 as of 2007-07-09 09:49:06
Size: 764
Editor: scharffc
Comment:
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/yices_small.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_small.png]
Line 5: Line 5:
 * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin]  * [attachment:YicesPlugin_1.0.0.jar Download the Yices-Rainbow plugin] (jar file)
Line 7: Line 7:
 * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code]  * [attachment:yicesrainbowsourcecode.zip Yices-Rainbow source code] (zip file)

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