OK, I will include RC5 in the next Isabelle test bundle that should be
published within the next few days.
BTW, http://proofgeneral.inf.ed.ac.uk/download still shows RC4.
I've updated this now, and the RC5 tarball is slightly updated since
Friday, with some improved documentation as well as configuration
patches discussed.
Ideally this will really be final RC...
- D.
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
