On 2016-06-15 17:31, Makarius wrote: > One could formally ask on the isabelle-users mailing list, if anybody > wants to join pg-devel for further discussion, although I wouldn't > expect much from it.
Thanks! Feel free to post such an email there, but I wouldn't press much for it: I share you analysis that staying with the current release is a good option for these people.
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneralemail@example.com http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel