diff options
| author | Jim Fehrle | 2019-05-27 15:40:52 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-06-03 03:01:51 -0700 |
| commit | b2f70d5c203a68af4c7048b417eb0dc82cee2610 (patch) | |
| tree | 00821bcf36152268e69f1b18b3e9e7af617881ef /doc/changelog | |
| parent | e005f390312b8900df36aa27bc087e18701c8fcd (diff) | |
Update doc to reflect that PG now supports Coq-generated proof diffs
Diffstat (limited to 'doc/changelog')
| -rw-r--r-- | doc/changelog/12-misc/10019-PG-proof-diffs.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/changelog/12-misc/10019-PG-proof-diffs.rst b/doc/changelog/12-misc/10019-PG-proof-diffs.rst new file mode 100644 index 0000000000..b2d191be26 --- /dev/null +++ b/doc/changelog/12-misc/10019-PG-proof-diffs.rst @@ -0,0 +1,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). |