blob: dc5d7f9e2c8e4501d7b0f109c2c85e7d848076f2 (
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
|
Files in the PG/etc directory
=============================
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
testsuite/ Test suites (replaced by generic/pg-autotest)
trac/ Test cases for reported bugs to check regression
|