Differences between revisions 10 and 12 (spanning 2 versions)
Revision 10 as of 2007-07-09 09:54:07
Size: 967
Editor: scharffc
Comment:
Revision 12 as of 2007-07-09 09:56:02
Size: 1047
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/yicessri_small.png] [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_large.png]
Line 11: Line 11:
 * [http://atlantis.seidenberg.pace.edu/~scharff/eclipse Plugin update site]

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