Arthur C. Norman
7560dcb3a3
Some historical releases purely for archival purposes
|
13 years ago | |
|---|---|---|
| .. | ||
| README | 13 years ago | |
| geometry.bib | 13 years ago | |
| geometry.red | 13 years ago | |
| geometry.rlg | 13 years ago | |
| geometry.tex | 13 years ago | |
| geometry.tst | 13 years ago | |
| geoprover.html | 13 years ago | |
| geoprover.red | 13 years ago | |
| geoprover.rlg | 13 years ago | |
| geoprover.tst | 13 years ago | |
| geoprover_1_2.htm | 13 years ago | |
| supp.red | 13 years ago | |
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