diff options
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/etc/README b/etc/README new file mode 100644 index 00000000..62c7c417 --- /dev/null +++ b/etc/README @@ -0,0 +1,34 @@ +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. + +ProofGeneral.menu Menu file for some Linux versions. + Install in /usr/lib/menu. + +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 +demoisa Isabelle Demo PG + + +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 +profiling.txt profiling + +release-log.txt A record of official releases + +testing-log.txt Notes on testing +test-schedule.txt +TESTS + + |