coq - The formal proof system

Age	Commit message (Expand)	Author
2020-03-03	[exninfo] Deprecate aliases for exception re-raising.	Emilio Jesus Gallego Arias
2020-02-24	[exn] remove `raise` taking optional exception information argument	Emilio Jesus Gallego Arias
2020-02-08	Resolve #10342 : [Ltac2] Add array library	Michael Soegtrop
2019-11-01	Add primitive floats to Ltac2	Pierre Roux
2019-11-01	Add primitive float computation in Coq kernel	Guillaume Bertholon
2019-10-29	Fix #10615: Notation substitution for Ltac2 terms.	Pierre-Marie Pédrot
2019-10-18	Allow to pass Ltac1 values to Ltac2 quotations.	Pierre-Marie Pédrot
2019-07-08	[api] Deprecate GlobRef constructors.	Emilio Jesus Gallego Arias
2019-06-25	Give a functional type to Ltac1 quotations with a context.	Pierre-Marie Pédrot
2019-06-25	Adding the ability to transfer Ltac2 variables to Ltac1 quotations.	Pierre-Marie Pédrot
2019-06-17	Update headers of files that were stuck on older headers.	Théo Zimmermann
2019-06-06	[Ltac2] Interpretation scopes in “constr” arguments of tactic notations	Vincent Laporte
2019-05-10	[ltac2] Add primitive integers	Pierre Roux
2019-05-07	Integrate build and documentation of Ltac2	Maxime Dénès