coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/transparentState.ml

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

January 2024

coqbot-app[bot]
Merge PR #18327: Make projection constants transparent and allowing projections themselves to be made opaque
committed
Rodolphe Lepigre
Add projection field to [TransparentState.t].
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

November 2018

Maxime Dénès
Merge PR #7925: Clean transparent state
committed
Pierre-Marie Pédrot
Rename TranspState into TransparentState.
committed