Arthur C. Norman
7560dcb3a3
Some historical releases purely for archival purposes
|
пре 13 година | |
|---|---|---|
| .. | ||
| README | пре 13 година | |
| geometry.bib | пре 13 година | |
| geometry.red | пре 13 година | |
| geometry.rlg | пре 13 година | |
| geometry.tex | пре 13 година | |
| geometry.tst | пре 13 година | |
| geoprover.html | пре 13 година | |
| geoprover.red | пре 13 година | |
| geoprover.rlg | пре 13 година | |
| geoprover.tst | пре 13 година | |
| geoprover_1_2.htm | пре 13 година | |
| supp.red | пре 13 година | |
README
This directory contains the Reduce GeoProver Package sources.
GeoProver.red - the main package
GeoProver.tst - a test file (plain ASCII)
supp.red - a supplement used in GeoProver.tst
GeoProver.out - output of the test
GeoProver.html - A help file in HTML
GeoProver.red - the main package
GeoProver.tst - a test file (plain ASCII)
supp.red - a supplement used in GeoProver.tst
GeoProver.out - output of the test
GeoProver.html - A help file in HTML