coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès	2016-01-15
\|
*	Make -load-vernac-object respect the loadpath.	Guillaume Melquiond	2015-09-28
\| \| \| \| \| \| \| \| \| \|	This command-line option was behaving like the old -require, except that it did not do Import. In other words, it was loading files without respecting the loadpath. Now it behaves exactly like Require, while -require now behaves like Require Import. This patch also removes Library.require_library_from_file and all its dependencies, since they are no longer used inside Coq.
*	The -require option now accepts a logical path instead of a physical one.	Pierre-Marie Pédrot	2015-09-25
\|
*	Updating the documentation and the toolchain w.r.t. the change in -compile.	Pierre-Marie Pédrot	2015-09-25
\|
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
\|
*	Removing documentation related to the deprecated State machinery.	Pierre-Marie Pédrot	2014-08-16
\|
*	Deprecate useless option -quality.	Guillaume Melquiond	2014-06-13
\|
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
\|
*	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill	2012-01-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14934 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fix typo	glondu	2012-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14889 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de pages de man pour les exécutables coq	notin	2006-10-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9233 85f007b7-540e-0410-9357-904b9bb8a0f7
*	man pages for coq-interface and parser	courant	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout pages de man coq_makefile et coqmktop	courant	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1716 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte	courant	2001-04-25
	- Deplacement pages de tools/ vers man/ - Modif distrib/Makefile pour Debian - Modif mode emacs pour Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1710 85f007b7-540e-0410-9357-904b9bb8a0f7