coq - The formal proof system

Age	Commit message (Expand)	Author
2018-11-02	Select OS specific coqide code with cp.	Gaëtan Gilbert
2018-10-23	[build] Refactoring to config lib and ocamldebug tweaks.	Emilio Jesus Gallego Arias
2018-10-19	gitignore test-suite/.nia.cache	Gaëtan Gilbert
2018-10-18	Removing the Camlp5 macros from CLexer.	Pierre-Marie Pédrot
2018-10-17	[doc] [build] Remove ocamlbuild leftovers.	Emilio Jesus Gallego Arias
2018-10-10	[doc] [sphinx] Fix title levels.	Théo Zimmermann
2018-10-02	[doc] [api] Remove `ocamldoc` support in favor of `odoc`	Emilio Jesus Gallego Arias
2018-09-25	[doc] Rename credits-wrapper to credits and credits to credits-contents	Clément Pit-Claudel
2018-09-20	[doc] Create a wrapper around the Credits file for the LaTeX build	Clément Pit-Claudel
2018-09-20	[doc] Create a separate zebibliography file for the LaTeX build	Clément Pit-Claudel
2018-09-20	[doc] Create a separate index file for the LaTeX build	Clément Pit-Claudel
2018-09-05	[build] Preliminary support for building Coq with `dune`.	Emilio Jesus Gallego Arias
2018-07-12	[dev] Autogenerate OCaml dev files.	Emilio Jesus Gallego Arias
2018-07-11	[coqpp] Move to its own directory.	Emilio Jesus Gallego Arias
2018-07-07	Merge PR #7921: Archive the `gallina` tool	Maxime Dénès
2018-06-29	Use a homebrew parser to replace the GEXTEND extension points of Camlp5.	Pierre-Marie Pédrot
2018-06-25	Archive the `gallina` tool	Vincent Laporte
2018-05-24	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias
2018-05-16	add unit tests to test suite	Paul Steckler
2018-04-30	[doc] Update Sphinx build instructions for Debian derivatives.	Emilio Jesus Gallego Arias
2018-04-16	Remove LaTeX refman, now that migration to Sphinx is complete	Maxime Dénès
2018-03-13	[Sphinx] Read version number from configure	Maxime Dénès
2018-02-17	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle
2017-12-31	Ignore generated test-suite/output/MExtraction.out	Jason Gross
2017-12-27	[API] remove large file containing duplicate interfaces	Enrico Tassi
2017-12-10	[make] remove unneeded generated file "tolink.ml"	Emilio Jesus Gallego Arias
2017-08-21	Extend .gitignore for coqdoc test-suite.	Théo Zimmermann
2017-08-16	Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...	Maxime Dénès
2017-07-17	Adding a coqdoc target to test-suite.	Hugo Herbelin
2017-07-11	Add timing scripts	Jason Gross
2017-06-30	Update .gitignore with doc/tutorial/Tutorial.v.out	Jason Gross
2017-06-22	Ignore all PDF files.	Théo Zimmermann
2017-06-14	Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...	Pierre Letouzey
2017-06-13	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey
2017-06-13	Merge PR#743: Update .gitignore	Maxime Dénès
2017-06-12	Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...	Matej Košík
2017-06-12	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík
2017-06-07	Update .gitignore	Jason Gross
2017-06-07	Put "ssreflect" behind "API".	Matej Košík
2017-06-07	Put all plugins behind an "API".	Matej Kosik
2017-06-01	extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...	Matej Kosik
2017-05-30	Add some test-suite generated files to .gitignore	Jason Gross
2017-05-23	test suite for coq_makefile2	Enrico Tassi
2017-05-23	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi
2017-05-23	test suite for coq_makefile	Enrico Tassi
2017-04-07	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias
2017-03-10	Improve build of travis target on local machine.	Théo Zimmermann
2017-02-17	Fix .gitignore.	Pierre-Marie Pédrot
2016-10-24	Merge branch 'v8.6'	Pierre-Marie Pédrot
2016-10-24	Update .gitignore with new names for psatz caches	Jason Gross