package info
(click to toggle)
Folder: DOC
 |
.. (parent) | |||
 |
- | rw-r--r-- | 78,031 | ANNOUNCE |
|
- | rw-r--r-- | 987 | CONTRIBUTORS |
|
- | rw-r--r-- | 448 | CSSCPA.doc |
|
- | rw-r--r-- | 5,365 | DONE |
|
- | rw-r--r-- | 3,217 | E-0.6.html |
|
- | rw-r--r-- | 4,098 | E-0.62.html |
|
- | rw-r--r-- | 6,097 | E-0.7.html |
|
- | rw-r--r-- | 6,051 | E-0.8.html |
|
- | rw-r--r-- | 6,724 | E-0.82.html |
|
- | rw-r--r-- | 6,791 | E-0.99.html |
|
- | rw-r--r-- | 6,777 | E-0.999.html |
|
- | rw-r--r-- | 6,846 | E-1.0pre.html |
|
- | rw-r--r-- | 6,877 | E-1.1pre.html |
|
- | rw-r--r-- | 7,114 | E-1.2pre.html |
|
- | rw-r--r-- | 5,191 | E-1.4pre.html |
|
- | rw-r--r-- | 5,210 | E-1.6pre.html |
|
- | rw-r--r-- | 5,523 | E-1.8pre.html |
|
- | rw-r--r-- | 5,822 | E-1.9.1pre.html |
|
- | rw-r--r-- | 5,529 | E-1.9pre.html |
|
- | rw-r--r-- | 5,831 | E-2.1pre.html |
|
- | rw-r--r-- | 6,295 | E-2.2pre.html |
|
- | rw-r--r-- | 6,822 | E-2.4pre.html |
|
- | rw-r--r-- | 6,857 | E-2.6.html |
|
- | rw-r--r-- | 7,231 | E-3.0.html |
|
- | rw-r--r-- | 7,310 | E-3.1.html |
|
- | rw-r--r-- | 3,931 | E-REMARKS |
|
- | rw-r--r-- | 1,204 | E-REMARKS.english |
|
- | rw-r--r-- | 1,399 | E-USERS |
|
- | rw-r--r-- | 1,022 | E_package_desc |
|
- | rw-r--r-- | 1,143 | HISTORY |
|
- | rw-r--r-- | 665 | Makefile |
|
- | rw-r--r-- | 34,742 | NEWS |
|
- | rw-r--r-- | 852 | PORTING |
|
- | rw-r--r-- | 1,568 | ReadMe |
|
- | rw-r--r-- | 2,240 | SHORT-DESC.tex |
|
- | rw-r--r-- | 672 | THINKME |
|
- | rw-r--r-- | 11,262 | TODO |
|
- | rw-r--r-- | 2,460 | TPTP_SUBMISSION |
|
- | rw-r--r-- | 10,336 | TSTP_Syntax.txt |
|
- | rw-r--r-- | 552 | WISHLIST |
|
- | rw-r--r-- | 420 | bug_reporting |
|
- | rw-r--r-- | 2,223 | e-plop-grammar.txt |
|
- | rw-r--r-- | 27,617 | eicon333.png |
|
- | rw-r--r-- | 132,099 | eprover.tex |
|
- | rw-r--r-- | 3,314 | estyle.sty |
|
- | rw-r--r-- | 3,866 | file_layout.eps |
|
- | rw-r--r-- | 820 | file_layout.fig |
|
- | rw-r--r-- | 2,425 | grammar.txt |
|
- | rw-r--r-- | 3,009 | hard_problems |
|
- | rw-r--r-- | 906 | implementation_notes.org |
|
- | rw-r--r-- | 1,038 | pcl2.spec |
|
- | rw-r--r-- | 4,825 | sample_proofs.html |
|
- | rw-r--r-- | 15,980 | sample_proofs_tstp.html |
|
- | rw-r--r-- | 11,386 | unshared_terms.eps |
|
- | rw-r--r-- | 0 | unshared_terms.fig |
