[C.CC USERS] Jedit: no occPlug in plugins menu

[Phil Tomson]

On Wed, Aug 11, 2010 at 4:23 PM, Omer Kilic <omer at concurrency.cc> wrote:
>
> Hi Phil,
>
> Phil Tomson wrote the following on/at 11/08/2010 22:02:
>>
>> ...but I do not see occPlug in the Plugins menu of Jedit.  Where can I
>> check for this plugin "manually" to see if the install is OK?
>
> If you've installed the occam-pi-occplug package it should have placed
> occPlug.jar under /usr/share/jedit/jars and jEdit should automatically load
> it up.
>
> Can you please check if you have the occPlug.jar in place?
>
>

Nope, all I see in that directory is ErrorList.jar.  I tried removing
and reinstalling occam-pi-occplug but that didn't make any difference.

Phil