|Re: TPTP 4.2.0 installation using update mgr. fails [message #83904 is a reply to message #83889]
||Thu, 21 September 2006 07:27
| Michael Moser
Registered: July 2009
BTW: installing it via the .link mechanism works and the plugin |
(v184.108.40.206) 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 Moser" <email@example.com> wrote in message
> 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).
Powered by FUDForum
. Page generated in 0.02152 seconds