|Re: TPTP 4.1 release available [message #44512 is a reply to message #44450]
||Fri, 02 December 2005 12:11
| Randy D. Smith
Registered: July 2009
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
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?
Powered by FUDForum
. Page generated in 0.01590 seconds