|
|
|
Re: TPTP 4.2.0 installation using update mgr. fails [message #83904 is a reply to message #83889] |
Thu, 21 September 2006 07:27  |
Eclipse User |
|
|
|
BTW: installing it via the .link mechanism works and the plugin
(v4.2.0.2) runs fine. But I tend to start favouring the built-in
installation and update mechanism lately (simply too many plugins to
keep track of manually otherwise...).
Michael
"Michael Moser" <mmo@zurich.ibm.com> wrote in message
news:eetslb$c2u$1@utils.eclipse.org...
> Actually, this was on 3.3M1 already - always linving on the bleeding
> edge... :-).
>
> But I doubt that these missing dependencies are caused by the eclipse
> version, are they?
> Well the hyades stuff maybe, but the second one? That's certainly not
> part of eclipse (whatever vesion it may be).
>
> Michael
|
|
|
Powered by
FUDForum. Page generated in 0.34579 seconds