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.
*	Make beautify-archive usable on non-GNU systems.	Xavier Clerc	2014-08-21
\|
*	Fixing beautification of "thm_token" (missing space) + improvements.	herbelin	2011-11-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14654 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
	revival of option -translate as a -beautify option. PS: compilation checked against 11610. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11618 85f007b7-540e-0410-9357-904b9bb8a0f7