>> Here's another, > `git am` doesn't like this one :'( Hopefully, the one below will go through better.
Sorry 'bout the incomplete removal of cl.el as well. I made another round of checks and found a few more leftover uses. Stefan
0001-Cosmetic-cleanup-of-coq-smie-coq-syntax-and-coq-abbr.patch
Description: Binary data
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel