index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
printing
/
proof_diffs.mli
Age
Commit message (
Expand
)
Author
2020-10-09
Add an XML message for "Show Proof Diffs"
Jim Fehrle
2020-04-06
Clean and fix definitions of options.
Théo Zimmermann
2020-03-30
Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creation
Gaëtan Gilbert
2020-03-19
Merge PR #11795: Print implicit arguments in types of references
Hugo Herbelin
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-03-13
[cleanup] Remove unnecessary Map/Set module creation
Emilio Jesus Gallego Arias
2020-03-12
Print implicit arguments in types of references
SimonBoulier
2019-12-06
Moving the diversity of constr printers to a label style.
Hugo Herbelin
2019-10-29
Show diffs in "Show Proof."
Jim Fehrle
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-02-28
Show diffs in error messages if color is enabled
Jim Fehrle
2018-12-09
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
Emilio Jesus Gallego Arias
2018-11-21
[legacy proof engine] Remove some cruft.
Emilio Jesus Gallego Arias
2018-09-20
Current diff code only compares the first current goal of the old and new
Jim Fehrle
2018-07-29
Fix issue 8132. Print the content of body as in Printer.pr_compacted_decl,
Jim Fehrle
2018-07-23
Make tokenize_string an optional parameter for diff methods in pp_diffs.
Jim Fehrle
2018-07-23
Displays the differences between successive proof steps in coqtop and CoqIDE.
Jim Fehrle
