I'd appreciate comments on the following. Thanks,
Jim I'm looking at what's needed to allow ProofGeneral to show proof diffs, considering changes to both Coq and PG. I'm looking at the PG 'master' branch first. (I'll look at the 'async' branch later.) ... continues at https://github.com/ProofGeneral/PG/issues/381#issuecomment-483936157
_______________________________________________ ProofGeneral mailing list ProofGeneral@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral