On 29/11/2018 12.32, Emilio Jesús Gallego Arias wrote: > Note even for the mainline, coqtop-based branch, many hacks in the code > could be removed today if so we wished.
I'm not sure I understand this part
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
