../ TPTP-4.5.2-200810210100/ 22-Oct-2008 14:27 - TPTP-4.5.2-200810240100/ 28-Nov-2008 20:48 - TPTP-4.5.2-200811120100/ 13-Nov-2008 16:14 - TPTP-4.5.2-200811190100/ 20-Nov-2008 16:46 - TPTP-4.5.2-200811250910/ 26-Nov-2008 15:11 - dev/ 03-Dec-2008 08:22 - builds.txt 03-Dec-2008 05:30 120