coq - The formal proof system

Age	Commit message (Expand)	Author
2021-01-27	Add sysinit to load_printer lists	Gaëtan Gilbert
2020-10-02	{new,setoid_}ring -> ring	Maxime Dénès
2020-08-31	Add zarith to the include path for ocamldebug-coq	Jasper Hugunin
2018-12-06	Rename generated directory gramlib__pack -> gramlib/.pack	Gaëtan Gilbert
2018-11-26	Fix ocamldebug-coq for packed gramlib	Gaëtan Gilbert
2018-11-21	[camlp5] Remove dependency on camlp5.	Emilio Jesus Gallego Arias
2018-11-06	[checker] Refactor by sharing code with the kernel	Maxime Dénès
2018-09-25	Remove romega	Vincent Laporte
2018-07-17	Remove fourier plugin	Maxime Dénès
2018-05-13	Infrastructure for ocamldebug on the checker	Gaëtan Gilbert
2018-04-23	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2018-01-15	Fix the wrapper around ocamldebug.	Pierre-Marie Pédrot
2017-12-27	[API] remove large file containing duplicate interfaces	Enrico Tassi
2017-06-12	Fix ocamldebug for the API	Gaëtan Gilbert
2017-02-21	Merge PR#309: Ltac as a plugin	Maxime Dénès
2017-02-19	Fixing debugger after the split of toplevel into vernac.	Pierre-Marie Pédrot
2017-02-17	Ltac as a plugin.	Pierre-Marie Pédrot
2016-07-26	No more dev/printers.cma	Pierre Letouzey
2016-03-21	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot
2015-02-27	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot
2014-08-18	Fixing include of debugger.	Pierre-Marie Pédrot
2013-12-20	configure.ml: our configure script is now written in ML :-)	Pierre Letouzey