Domů Procházet Nápověda
Přihlásit se
reduce-algebra
/
reduce-historical
zrcadlo git://github.com/reduce-algebra/reduce-historical
Sledovat 2
Oblíbit 1
Rozštěpit 0
Soubory Úkoly
Strom: e014152729
Větve Značky
reduce-histo...
/
r38
/
packages
/
geometry
Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
..
README 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geometry.bib 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geometry.red 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geometry.rlg 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geometry.tex 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geometry.tst 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geoprover.html 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geoprover.red 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geoprover.rlg 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geoprover.tst 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
geoprover_1_2.htm 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky
supp.red 7560dcb3a3 Some historical releases purely for archival purposes před 13 roky

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