coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
*	[build] Add -cclib -lcoqrun options to build of kernel.cmxa.	Emilio Jesus Gallego Arias	2018-05-22
*	[ide] Remove special option `-ideslave`	Emilio Jesus Gallego Arias	2018-05-21
*	[stm] Make toplevels standalone executables.	Emilio Jesus Gallego Arias	2018-05-21
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Add interfaces for IDE and remove dead code.	Maxime Dénès	2018-01-10
*	[lib] Split auxiliary libraries into Coq-specific and general.	Emilio Jesus Gallego Arias	2017-12-23
*	[ci] [coq] Complete 4.06.0 support.	Emilio Jesus Gallego Arias	2017-11-13
*	Fix some more missing mkdir lines to Makefile.ide	Jason Gross	2017-10-13
*	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
*	Makefile: install-byte works even if -coqide no	Enrico Tassi	2017-08-04
*	Makefile.ide: restore a coqide-binaries rule (fix bug 5667)	Pierre Letouzey	2017-07-25
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Merge remote-tracking branch 'github/pr/229' into trunk	Maxime Dénès	2016-07-04
\|\
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
\| *	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
\|/
*	Makefile: compat5* moved in grammar/, less -I given to camlp4o	Pierre Letouzey	2016-06-21
*	Makefile.build: ensure a build failure in case of a missing rule	Pierre Letouzey	2016-06-15
*	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08