Eclipse Community Forums: Java Development Tools (JDT)

Home » Language IDEs » Java Development Tools (JDT) » OpenJML: installs, does not work

OpenJML: installs, does not work [message #1304355]

Sat, 19 April 2014 17:04

Eclipse User

I am trying to install OpenJML.

I am currently using:
- Eclipse build 20140224-0627, MacOS
- OpenJML 0.5.29

Yet, the "JML" menu does not show up, although it should, and should let me activate OpenJML for a specific project.

Am I missing something ?

Re: OpenJML: installs, does not work [message #1305477 is a reply to message #1304355]

Sun, 20 April 2014 08:23

Eclipse User

I gave an answer regarding OpenJML just yesterday: http://www.eclipse.org/forums/index.php/mv/msg/679935/1304406/#msg_1304406

Previous Topic:	Trying to run Open JML in Eclipse
Next Topic:	Button

Goto Forum:

-=] Back to Top [=-

Current Time: Sun Jul 20 16:32:01 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter