Index of /logic-TPTP-debian/_darcs/patches

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pending2010-08-18 13:25 4  
[   ]pending.tentative2010-08-18 13:25 4  
[   ]0000000223-9ff33deb68042a65c20c2f4268bd52c869c93d124b415f306f465ca55793f73e2010-06-17 11:21 179  
[   ]0000000248-98bbc582ee29c6b56acf3d48bd870bbd7adc15925cbc27deb922982297bfa3952010-06-10 13:52 184  
[   ]0000000481-cefefbc01a477e3c2a4ed334e8edd0107c295338b3aed22eeb519b613d9a5c212010-06-10 13:47 231  
[   ]0000000436-2b630a76321d7f541ac4be7be9d195c980876e80d4a18e5c4aa559b856526d942010-06-10 14:10 254  
[   ]0000000390-dd230ee6b7e168c81d310964cf3f6a0b6e439a0210027cdbcb9669cba818c00e2010-08-18 13:19 299  
[   ]0000001679-efdb2c06129973025d0d0eec346344eee0c3509249cc998c166264900a06470b2010-08-18 13:25 611  
[   ]0000001768-0dbaf4cb72f90b4e517142ca3ebc2c371edffa1dfeba7119ba1d46a99b11205e2010-06-10 14:04 642  
[   ]0000040960-e76e90c0c2e2c8f5028a72b109d86e7a20437824ee475d04535cebc2066765692010-06-10 13:06 13K 

Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80