blob: ef03673635c8d2f104f61e169835d0bc052ce885 (
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
37
38
|
Files in the PG/etc directory (NB: some only in devel distrib)
===============================================================
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
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
profiling.txt profiling
release-log.txt A record of official releases
testing-log.txt Notes on testing
test-schedule.txt
TESTS
|