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