coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of pretyping/program.ml

September 2026

coqbot-app[bot]
Merge PR #22497: Fix blatant bug in Program's papp
committed
Matthieu Sozeau
Fix blatant bug in Program's papp
committed

October 2024

coqbot-app[bot]
Merge PR #19743: Rocqify Coqlib
committed
Pierre-Marie Pédrot
Rename the Coqlib module into Rocqlib.
committed
coqbot-app[bot]
Merge PR #19734: Rocqify the core.
committed
Pierre-Marie Pédrot
Rocqify the core.
committed
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

September 2024

coqbot-app[bot]
Merge PR #19310: Rename Coq requirement prefix to Stdlib
committed
Pierre Roux
Renaming Coq -> Stdlib
committed

June 2023

coqbot-app[bot]
Merge PR #17664: Put version info in OCaml defined deprecation warnings
committed
Gaëtan Gilbert
Use Deprecation.t for deprecated goptions
committed

December 2022

coqbot-app[bot]
Merge PR #16938: Add a staging notion to option declarations
committed
Maxime Dénès
Add a staging notion to option declarations
committed

January 2022

coqbot-app[bot]
Merge PR #15414: Reduce the use of `Global` functions
committed

December 2021

Pierre-Marie Pédrot
Remove calls to the Global module from pretyping/program and percolate.
committed

October 2021

coqbot-app[bot]
Merge PR #15069: Remove most calls to Global from engine/
committed
Pierre-Marie Pédrot
Remove Evarutil.new_global.
committed
Pierre-Marie Pédrot
Remove the easy call to Global.env from Evarutil.
committed

March 2020

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

February 2020

Gaëtan Gilbert
Merge PR #10204: Remove `unsafe_type_of` from `Coercion`
committed
Pierre-Marie Pédrot
Merge PR #11521: Remove Goptions.opt_name field
committed
Gaëtan Gilbert
Remove Goptions.opt_name field
committed
Maxime Dénès
Remove `unsafe_type_of` from `Coercion`
committed

November 2019

Gaëtan Gilbert
Merge PR #11010: [coq] Untabify the whole ML codebase.
committed
Emilio Jesus Gallego Arias
[coq] Untabify the whole ML codebase.
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

Emilio Jesus Gallego Arias
Merge PR #9046: Goptions.declare_* functions return unit instead of a write_function
committed
Gaëtan Gilbert
s/let _ =/let () =/ in some places (mostly goptions related)
committed

October 2018

Pierre-Marie Pédrot
Merge PR #186: [RFC] Coqlib cleanup
committed
Emilio Jesus Gallego Arias
[coqlib] Rebindable Coqlib namespace.
committed

May 2018

Pierre-Marie Pédrot
Merge PR #7359: Reduce usage of evar_map references
committed
Gaëtan Gilbert
Deprecate most evarutil evdref functions
committed

March 2018

Maxime Dénès
Merge PR #6855: Update headers following #6543.
committed

February 2018

Théo Zimmermann
Update headers following #6543.
committed

July 2017

Pierre-Marie Pédrot
Bump year in headers.
committed

June 2017

Maxime Dénès
Merge PR#713: Bump year in headers.
committed
Maxime Dénès
Merge PR#623: Remove the Sigma (monotonous state) API.
committed
Maxime Dénès
Remove the Sigma (monotonous state) API.
committed
Maxime Dénès
Merge PR#696: Trunk+cleanup constr of global
committed
Maxime Dénès
Bump year in headers.
committed

May 2017

Matthieu Sozeau
Pretyping cleanup: remove constr_of_global calls
committed
Maxime Dénès
Merge PR#678: [coqlib] Move `Coqlib` to `library/`.
committed
Emilio Jesus Gallego Arias
[coqlib] Move `Coqlib` to `library/`.
committed
Maxime Dénès
Merge PR#481: [option] Remove support for non-synchronous options.
committed
Emilio Jesus Gallego Arias
Merge branch 'trunk' into located_switch
committed
Emilio Jesus Gallego Arias
[option] Remove support for non-synchronous options.
committed
Maxime Dénès
Merge PR#582: Fix warnings
committed