blob: 4662f711398e9fecac9c57317185f9a6b7822fc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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 Files for testing Isabelle Proof General
README this file
example test protocol for example proof script
|