[jboss-cvs] Repository SVN: r11805 - in eclipse/tptp: 4.5.0 and 1 other directory.

[jboss-cvs-commits at lists.jboss.org]

Author: rob.stryker at jboss.com
Date: 2008-07-22 11:41:56 -0400 (Tue, 22 Jul 2008)
New Revision: 11805

Added:
   eclipse/tptp/4.5.0/
   eclipse/tptp/4.5.0/tptp.runtime-TPTP-4.5.0.zip
Log:
tptp requirement


Added: eclipse/tptp/4.5.0/tptp.runtime-TPTP-4.5.0.zip
===================================================================
(Binary files differ)


Property changes on: eclipse/tptp/4.5.0/tptp.runtime-TPTP-4.5.0.zip
___________________________________________________________________
Name: svn:mime-type
   + application/octet-stream