Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Language IDEs » Java Development Tools (JDT) » OpenJML: installs, does not work
OpenJML: installs, does not work [message #1304355] Sat, 19 April 2014 21:04 Go to next message
Xavier Rival is currently offline Xavier RivalFriend
Messages: 1
Registered: April 2014
Junior Member
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 ?

Report message to a moderator

Re: OpenJML: installs, does not work [message #1305477 is a reply to message #1304355] Sun, 20 April 2014 12:23 Go to previous message
Stephan Herrmann is currently offline Stephan HerrmannFriend
Messages: 1853
Registered: July 2009
Senior Member
I gave an answer regarding OpenJML just yesterday: http://www.eclipse.org/forums/index.php/mv/msg/679935/1304406/#msg_1304406

Report message to a moderator

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

[ Syndicate this forum (XML) ] [ RSS ]

Current Time: Sat Dec 14 18:39:19 GMT 2024

Powered by FUDForum. Page generated in 0.02806 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly