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
ProofGeneral-devel@inf.ed.ac.uk
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.

Reply via email to