| JMLEclipse installation help [message #180038] |
Tue, 14 November 2006 12:17  |
Eclipse User |
|
|
|
Originally posted by: kdembeck.gmail.com
I'm having a problem getting JMLEclipse plugin to work. I've followed the
steps found on http://jmleclipse.projects.cis.ksu.edu/download.shtml.
None of the JML tags are recognized. It's as if the plugin was never
installed. When I repeat the steps from above, no new updates are found,
indicating that the plugin is installed.
I found additional instructions on this page:
http://jmleclipse.projects.cis.ksu.edu/docs/install-notes.sh tml
, however "JML Error" is not to be found in the Problems>Filter dialog as
instructed, further leading me to believe that the plugin is not correctly
installed.
Any help with this? I'm very new to Eclipse, trying to learn this
overnight for a University school project. Thank you for any help you can
provide.
|
|
|
|
Powered by
FUDForum. Page generated in 0.08482 seconds
Home