coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of interp/implicit_quantifiers.mli

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
Emilio Jesus Gallego Arias
Merge PR #10226: Simplify implicit_quantifiers
committed
Gaëtan Gilbert
Fix #10225 (Instance := {} accepts duplicate fields)
committed
Gaëtan Gilbert
Simplify implicit_quantifiers
committed

June 2018

Maxime Dénès
Merge PR #7080: Swapping Context and Constr and defining declarations on constr in Constr
committed
Hugo Herbelin
Swapping Context and Constr: defining declarations on constr in Constr.
committed
Enrico Tassi
Merge PR #7797: Remove reference name type.
committed
Maxime Dénès
Remove reference name type.
committed
Pierre-Marie Pédrot
Merge PR #7677: [api] Remove Misctypes
committed
Emilio Jesus Gallego Arias
[api] Misctypes removal: miscellaneous aliases.
committed
Maxime Dénès
Merge PR #7570: [api] Move `Constrexpr` to the `interp` module.
committed

May 2018

Emilio Jesus Gallego Arias
[api] Move `Constrexpr` to the `interp` module.
committed
Pierre-Marie Pédrot
Merge PR #6515: [api] Move `Vernacexpr` to parsing.
committed
Emilio Jesus Gallego Arias
[api] Move `Vernacexpr` to parsing.
committed
Maxime Dénès
Merge PR #6156: [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.
committed
Emilio Jesus Gallego Arias
[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.
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
Maxime Dénès
Merge PR #6745: [ast] Improve precision of Ast location recognition in serialization.
committed
Emilio Jesus Gallego Arias
[ast] Improve precision of Ast location recognition in serialization.
committed

December 2017

Maxime Dénès
Merge PR #6289: Remove unused boolean from cl_context field of Typeclasses.typeclass
committed

November 2017

Gaëtan Gilbert
Remove unused boolean from cl_context field of Typeclasses.typeclass
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
Bump year in headers.
committed

May 2017

Maxime Dénès
Merge PR#402: Uniform attribute handling in interfaces
committed

April 2017

Emilio Jesus Gallego Arias
[location] Make location optional in Loc.located
committed
Maxime Dénès
Merge branch 'trunk' into pr379
committed
Maxime Dénès
Merge PR#417: No cast surgery in let in
committed

March 2017

Hugo Herbelin
Renaming local_binder into local_binder_expr.
committed

April 2016

Pierre Courtieu
Merge remote-tracking branch 'OFFICIAL/trunk' into morefresh
committed

February 2016

Matej Kosik
CLEANUP: Context.{Rel,Named}.Declaration.t
committed
Matej Kosik
merging conflicts with the original "trunk__CLEANUP__Context__2" branch
committed
Matej Kosik
CLEANUP: Context.{Rel,Named}.Declaration.t
committed

January 2016

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Maxime Dénès
Update copyright headers.
committed

October 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Guillaume Melquiond
Fix some typos.
committed

July 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Pierre-Marie Pédrot
Fixing bug #3811: "Universe annotations confused inside generalizing binders".
committed

January 2015

Maxime Dénès
Update headers.
committed

March 2014

Pierre Letouzey
Remove many superfluous 'open' indicated by ocamlc -w +33
committed

April 2013

ppedrot
Merging Context and Sign.
committed

December 2012

ppedrot
Modulification of name
committed
ppedrot
Modulification of identifier
committed