blob: 2592516ceac413772a92c6ab17d8e71a929afd96 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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
|