diff options
| author | Hugo Herbelin | 2018-07-30 17:45:05 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-07-30 17:45:05 +0200 |
| commit | 1b2decc1bc0db2a58fcc4a4e6e572aed645bab29 (patch) | |
| tree | 5dc97e6b9fed2414a83d4508d72fc98feba2eff5 /CHANGES | |
| parent | dd84c113a154742dff86328ebc758097e9aac8eb (diff) | |
| parent | d7c52a963588fda638b9f79882a55f56fef6297a (diff) | |
Merge PR #8137: Fix 8132. Print the content of body, not its type.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -135,7 +135,7 @@ Display diffs between proof steps - coqtop and coqide can now highlight the differences between proof steps in color. This can be enabled from the command line or the - "Set Diffs on|off|removed" command. Please see the documentation for + `Set Diffs "on"|"off"|"removed"` command. Please see the documentation for details. Showing diffs in Proof General requires small changes to PG (under discussion). |