Etusivu Tutki Apua
Kirjaudu sisään
reduce-algebra
/
reduce-historical
peilaus alkaen git://github.com/reduce-algebra/reduce-historical
Tarkkaile 2
Äänestä 1
Fork 0
Tiedostot Ongelmat
Puu: e014152729
Branchit Tagit
reduce-histo...
/
r38
/
packages
/
geometry
Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
..
README 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geometry.bib 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geometry.red 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geometry.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geometry.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geometry.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geoprover.html 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geoprover.red 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geoprover.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geoprover.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
geoprover_1_2.htm 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten
supp.red 7560dcb3a3 Some historical releases purely for archival purposes 13 vuotta sitten

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