coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-03-21	[default.nix] Add dependencies of the merging script.	Théo Zimmermann

2018-03-09	[default.nix] Pin nixpkgs version to include Sphinx dependencies	Vincent Laporte

2018-03-09	[default.nix] minor cleaning	Vincent Laporte

2018-03-09	Integration of a sphinx-based documentation generator.	Maxime Dénès
	The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content.
2017-12-28	[default.nix] depends on ocamlPackages.num	Vincent Laporte

2017-12-07	[default.nix] Add ocpIndent and ocp-index.	Maxime Dénès

2017-12-07	Merge PR #6309: [default.nix] needs ncurses for the test-suite	Maxime Dénès

2017-12-05	[default.nix] explain ncurses dependency	Vincent Laporte

2017-12-04	[default.nix] needs ncurses for the test-suite	Vincent Laporte

2017-11-30	Add merlin in the dependencies of nix-shell only.	Théo Zimmermann

2017-11-09	Introduce default.nix for Nix users.	Théo Zimmermann
	This file can be used to get in an environment ready to compile Coq (with `nix-shell`) or to compile and install Coq (with `nix-build`).