Inicio Explorar Axuda
Iniciar sesión
reduce-algebra
/
reduce-historical
réplica de git://github.com/reduce-algebra/reduce-historical
Seguir 2
Destacar 1
Fork 0
Ficheiros Incidencias
Árbore: e014152729
Ramas Etiquetas
reduce-histo...
/
r38
/
packages
/
geometry
Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
..
README 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geometry.bib 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geometry.red 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geometry.rlg 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geometry.tex 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geometry.tst 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geoprover.html 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geoprover.red 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geoprover.rlg 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geoprover.tst 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
geoprover_1_2.htm 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos
supp.red 7560dcb3a3 Some historical releases purely for archival purposes %!s(int64=13) %!d(string=hai) anos

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