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
Ideally this will really be final RC...
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.