blob: e9a479647f348e8c1a0ae713e8888316c6ee17dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-*- outline -*-
--- This is a development release of Proof General, ---
--- some features may be incomplete or buggy. Please ---
--- report any problems to support@proofgeneral.org, ---
--- thanks. Check files BUGS and <prover>/BUGS first. ---
* Summary of Changes for Proof General 3.5pre from 3.4
<< No changes yet >>
|
