|
|
| Re: TPTP 4.1 release available [message #44512 is a reply to message #44450] |
Fri, 02 December 2005 12:11  |
Eclipse User |
|
|
|
Can you download via the Update Manager? Certainly. I just did. (To make
sure it was all set up and worked properly before opening my mouth in
public. :-) )
The instructions are in Step 4 on the Installation Guide (a link to that
is at the bottom of the download page).
I was going to cut-and-paste the Update Manager details here, but then I
realized that wouldn't be a good idea... the download page has
pre-requisite requirements that are worth insuring are in place, and the
Installation Guide has stuff of importance (e.g., about agent
controllers) that are there for a reason.
Presumably the Update Manager can enforce the pre-reqs, but not the AC
stuff.
--
RDS
Andreas Schildbach wrote:
> Ling wrote:
>
>> The highly anticipated TPTP 4.1 release is now available for download
>> at http://eclipse.org/tptp/home/downloads/drops/TPTP-4.1.0.html .
>
>
> Thanks a lot for that new release. The possibility to do without an
> agent controller is great!
>
> Can you also download via Eclipse Update Manager? Could you always
> include that information in the announcement?
>
> Regards,
>
> Andreas
|
|
|
Powered by
FUDForum. Page generated in 0.03439 seconds
Home