blob: 6d51213e820ed63ad804adc2032c9b2d8f3d96ab (
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 this directory (not all part of standard distribution - some only in devel)
=====================================================================================
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
|
