coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	r8636@thot: notin \| 2006-03-14 15:57:11 +0100	notin	2006-03-14
\| \| \| \| \| \| \|	Correction de bugs de Coqdoc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8625 85f007b7-540e-0410-9357-904b9bb8a0f7
*	r8620@thot: notin \| 2006-03-08 11:44:16 +0100	notin	2006-03-08
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Modifications diverses de Coqdoc: - modification du comportement par dÃ©faut de l'option --latex - ajout d'une option --stdout - réaménagement dans les sources (création de global.ml) - modification du parser de coqdoc pour regler les problèmes liés à la syntaxe V8. - Correction du bug #1052 sur les commentaires en fin de ligne git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8617 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Petite modification de la gestion du '.' (jmn)	coq	2006-01-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7807 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)	coq	2006-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7799 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	coq	2006-01-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7797 85f007b7-540e-0410-9357-904b9bb8a0f7
*	erreur coqdoc + headsep	mohring	2005-10-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7456 85f007b7-540e-0410-9357-904b9bb8a0f7
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7306 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bug indexation des Require Import	herbelin	2004-08-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6006 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nouvelle en-tête	herbelin	2004-07-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
*	efficacite du lexeur	filliatr	2004-06-29
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5847 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Suppression documentation option raw-comments qui est vraiment trop ad hoc ↵	herbelin	2004-04-13
\| \| \| \| \| \|	pour l'export XML des .v git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5669 85f007b7-540e-0410-9357-904b9bb8a0f7
*	A few changes backtracked:	sacerdot	2004-04-07
\| \| \| \| \| \| \| \| \| \| \| \|	1. HTML special characters are no longer quoted inside # ... #. 2. ^ ... ^ mode removed. This backtrack makes the HTML generated from CoRN .v files invalid again, since there are '&', '<' and '>' characters inside # ... #. The CoRN stuff agreed to change their .v files accordingly. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5650 85f007b7-540e-0410-9357-904b9bb8a0f7
*	1. In -html mode the generated files are well-formed XML files	sacerdot	2004-04-06
\| \| \| \| \| \| \| \| \| \| \| \|	(i.e. the output is no longer HTML but (X)HTML) 2. Added (** ^ ... ^ ) to output verbatim characters that are NOT quoted (whereas (* # ... # *) and all the other similar marks do quote the characters according to the output language quoting conventions). 3. Added ^^ to output a single '^' character git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5647 85f007b7-540e-0410-9357-904b9bb8a0f7
*	echappement de <, > et & en HTML	filliatr	2004-04-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5639 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout option raw-comments pour supprimer affichage de <table>	herbelin	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5580 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout option raw-comments pour supprimer affichage de <table>; typos	herbelin	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5579 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ mot-cles	herbelin	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5578 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-cles	herbelin	2004-03-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5577 85f007b7-540e-0410-9357-904b9bb8a0f7
*	application patch de Lionel Elie Mamane pour option -R et chemins ↵	filliatr	2004-03-16
\| \| \| \| \| \|	relatifs/absolus git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5504 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Parameters	filliatr	2004-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5482 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ocaml 3.07 -> 3.06	filliatr	2004-03-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5402 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	filliatr	2004-02-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5389 85f007b7-540e-0410-9357-904b9bb8a0f7
*	indexation Record / bug gallina sur := en V8	filliatr	2004-02-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5382 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	filliatr	2004-02-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5378 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqdoc	filliatr	2004-02-24
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5377 85f007b7-540e-0410-9357-904b9bb8a0f7