diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-12-15 22:47:18 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-12-15 22:47:18 +0000 |
| commit | 813d75c12f0624895ad9df8701ed72be1fca616b (patch) | |
| tree | 555934ba40a82ad7e5f14defde474afa79ca598a | |
| parent | 2cae8cd68ed67b7fa9496892bfdf567c53dd665a (diff) | |
Updated
| -rw-r--r-- | etc/README | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -1,6 +1,9 @@ Files in the PG/etc directory ============================= +Files in this directory are auxiliary documentation and test files, +not needed for a running Proof General installation. + README this file ProofGeneral.spec Sample specfile for building the Proof General RPM. @@ -24,7 +27,9 @@ cvs-tips.txt Notes on cvs with PG project development-tips.txt Notes on development profiling.txt profiling -testsuite/ Test suites (replaced by generic/pg-autotest) -trac/ Test cases for reported bugs to check regression +proviola/ See README therein. +testsuite/ Test suites (replaced by generic/pg-autotest) +trac/ Test cases for reported bugs to check + regression (manually) |