coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/pp_diff.mli

January 2025

coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

June 2019

Clément Pit-Claudel
Merge PR #10320: Update headers to the new year.
committed
Théo Zimmermann
Update ml-style headers to new year.
committed

May 2019

Théo Zimmermann
Merge PR #10221: Fixing typos - Part 2 (reopening of #10218)
committed
JPR
Fixing typos - Part 2
committed

July 2018

Emilio Jesus Gallego Arias
Merge PR #6801: Highlight differences between successive proof steps (color, underline, etc.)
committed
Jim Fehrle
Make tokenize_string an optional parameter for diff methods in pp_diffs. Remove forward reference to lexer.
committed
Jim Fehrle
Displays the differences between successive proof steps in coqtop and CoqIDE. Proof General requires minor changes to make the diffs visible, but this code shouldn't break the existing version of PG.
committed