diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:20:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:20:00 +0000 |
| commit | e3acc5a216a2270164d94bf0df3dce787d69def2 (patch) | |
| tree | 6e06fe264739af8ad944bc4c2063c2b853ac846b /etc/README | |
| parent | 88093c5e6aaefa62994e783a840717cd11856f99 (diff) | |
Updated.
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -1,6 +1,8 @@ Files in the PG/etc directory (NB: some only in devel distrib) =============================================================== +README this file + ProofGeneral.spec For building the Proof General RPM. Use "rpm -tb" to build from tarball. @@ -18,12 +20,6 @@ isar Isar PG demoisa Isabelle Demo PG -README this file - -example test protocol for example proof scripts - -notes.txt Misc notes - 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 |