diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 22:46:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 22:46:09 +0000 |
commit | 3a7b7a27a6069a968c3907f5c531f00249061a31 (patch) | |
tree | 9fe3c8f7aa4e0af19d121233af2a085d8ca7518c /etc/README | |
parent | 8eb6639bd95715208cd1506072a277fa53422a95 (diff) |
Updated
Diffstat (limited to 'etc/README')
-rw-r--r-- | etc/README | 18 |
1 files changed, 6 insertions, 12 deletions
@@ -1,9 +1,9 @@ -Files in the PG/etc directory (NB: some only in devel distrib) -=============================================================== +Files in the PG/etc directory +============================= README this file -ProofGeneral.spec For building the Proof General RPM. +ProofGeneral.spec Sample specfile for building the Proof General RPM. Use "rpm -tb" to build from tarball. ProofGeneral.menu Menu file for some Linux versions. @@ -12,8 +12,6 @@ ProofGeneral.menu Menu file for some Linux versions. ProofGeneral.desktop Menu file for some Linux versions. Install in /etc/X11/applnk/Applications/ -announce Announcement - lego Files for testing: LEGO Proof General isa Isabelle Proof General isar Isar PG @@ -22,15 +20,11 @@ coq Coq <otherprover> .. others, similarly -bug-notes.txt Test cases for Emacs or PG bugs cvs-tips.txt Notes on cvs with PG project -debugging-tips.txt Notes on debugging +development-tips.txt Notes on development profiling.txt profiling -release-log.txt A record of official releases - -testing-log.txt Notes on testing -test-schedule.txt -TESTS +testsuite/ Test suites (replaced by generic/pg-autotest) +trac/ Test cases for reported bugs to check regression |