blob: 1b1b0f3fe52b0a9a4023ffcdba191f007c1e11a5 (
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
|
Files in the PG/etc directory
=============================
Files in this directory are auxiliary documentation and test files,
not needed for a running Proof General installation.
README this file
ProofGeneral.spec Sample specfile 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/
lego Files for testing: LEGO Proof General
isa Isabelle Proof General
isar Isar PG
demoisa Isabelle Demo PG
coq Coq
<otherprover> .. others, similarly
cvs-tips.txt Notes on cvs with PG project
development-tips.txt Notes on development
profiling.txt profiling
proviola/ See README therein.
testsuite/ Test suites (replaced by generic/pg-autotest)
trac/ Test cases for reported bugs to check
regression (manually)
|