blob: 62c7c417b761702f2fbaf801c7375b1a5da3cfc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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
|