coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[flags] Remove XML output flag.	Emilio Jesus Gallego Arias	2017-08-01
\| \| \| \| \| \| \| \|	This is a second try at removing the hooks for the legacy xml export system which can't currently be tested. It is also not included in the API, so it should either be included in it or this PR be applied.
*	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
\|
*	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
\|
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
\|
*	-user option removal	pboutill	2011-11-21
\| \| \| \| \| \| \|	it is imcompatible with the freedesktop policy that config directory is private. Feel absolutly free to revert this commit if you think -user should stay git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14713 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Add coqide manpage (taken from Debian)	glondu	2008-08-12
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11324 85f007b7-540e-0410-9357-904b9bb8a0f7