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