David Aspinall <david.aspin...@ed.ac.uk> writes:

   I plan to announce a little bit more widely later this week, please
   let me know asap if there are any hiccups.

I haven't seen an announcement of Proof General 4.1 on coq-club.
If nobody else wants to do this I'll post something this
afternoon.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to