blob: 6b622f9b7d3f7681f04e3c03ea13d2ae233066e4 (
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
35
36
|
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
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
profiling.txt profiling
release-log.txt A record of official releases
testing-log.txt Notes on testing
test-schedule.txt
TESTS
|