blob: bda7fde85276597c60876bbf31b9e595eeb3767d (
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
|
Files in this directory (not part of standard distribution)
============================================================
ProofGeneral.spec } For building the Proof General RPM.
ProofGeneral.patch }
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
debugging-tips.txt Notes on debugging
profiling.txt profiling
testing-log.txt Notes on tests carried out
release-log.txt A record of official releases
|