Clueless with Joe-E and Eclipse

"Dominique Quatravaux" <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
Apologies if this is not the right place to ask. I'm trying to use
Joe-E and know nothing about Eclipse (it's like the second time I run
it). I followed the instructions at
http://code.google.com/p/joe-e/wiki/GettingStarted up to the point
where the plug-in is downloaded and Eclipse restarts, and then...
Nothing. There is no Joe-E pane in the Eclipse preferences, and no way
to "enable Joe-E verifier" in projects regardless of the CLASSPATH
settings.

I'd be happy with a solution that involves running the verifier
directly (as an Ant task or shell command), as I'm more of an Emacs
guy anyway. I hereby promise to add documentation into the Joe-E wiki
if appropriate.

I'm using Eclipse 3.4.1 (Build id: M20080911-1700) under Mac OS X for
Intel version 10.5.5 (9F33). Any help greatly appreciated.

-- 
  Dominique Quatravaux
  +41 79 609 40 72
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.