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