blob: b2d191be2647e36386768276035746538cd39c32 (
plain)
1
2
3
|
- Proof General can now display Coq-generated diffs between proof steps
in color. (`#10019 <https://github.com/coq/coq/pull/10019>`_ and (in Proof General)
`#421 <https://github.com/ProofGeneral/PG/pull/421>`_, by Jim Fehrle).
|
