David Aspinall <[email protected]> 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
