blob: a3425565be496ecd37f7be2c147ebcdfec61d782 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
README this file
example test protocol for example proof scripts
notes.txt Misc notes
|