PG icon indicating copy to clipboard operation
PG copied to clipboard
verified publisher icon ProofGeneral

Add documentation for #490 - Improve PG support of Show Proof Diffs

Open erikmd opened this issue 5 years ago • 0 comments

TODO:

  • Add info documentation for #490
  • Add summary in CHANGES

erikmd avatar May 29 '20 17:05 erikmd