coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Added a <br/> after "Require ...".	sacerdot	2004-03-30
*	syntax error: dandling in	sacerdot	2004-03-30
*	Renommage	herbelin	2004-03-30
*	2 choix incorrects	herbelin	2004-03-30
*	Distinction entre declarations internes (p.ex. _subproof) et declarations uti...	herbelin	2004-03-30
*	Fabrication de l'uri a partir du path utilisateur	herbelin	2004-03-30
*	Retrait debogage	herbelin	2004-03-29
*	Export du type de preuve en cours pour xml	herbelin	2004-03-29
*	Debug prints removed.	sacerdot	2004-03-29
*	Export Require	herbelin	2004-03-29
*	Export des sections; creation COQ_XML_ROOT_LIBRARY si non existant; divers	herbelin	2004-03-27
*	-dead code removed.	sacerdot	2004-03-27
*	Theory file for file A.B.C.v is put in A/B/C.theory.xml.	sacerdot	2004-03-26
*	Ajout exportation des 'theory.xml' + divers	herbelin	2004-03-26
*	The DTD that describes the CIC (with Explicit Named Substitutions) format.	sacerdot	2004-03-25
*	Fix and Cofix blocks with mutually defined functions having the same	sacerdot	2004-03-25
*	Updated.	sacerdot	2004-03-25
*	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot	2004-03-25
*	No longer used.	sacerdot	2004-03-25
*	Dead code removed.	sacerdot	2004-03-25
*	Comment removed.	sacerdot	2004-03-25
*	MAJ Claudio pour v8	herbelin	2004-03-24
*	Reparation typo de HH dans MAJ de Claudio	herbelin	2004-03-24
*	MAJ Claudio pour v8	herbelin	2004-03-24
*	Utilisation du printer approprie a la version de syntaxe	herbelin	2004-03-24
*	Nettoyage	herbelin	2004-03-24
*	Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ver...	herbelin	2004-03-24
*	Paramétrisation vis à vis de existential_key	herbelin	2003-09-06
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	* empty log message *	barras	2003-03-12
*	Restructuration interpréteur de tactique: plus d'évaluation partielle à la...	herbelin	2003-01-19
*	Petit netoyage dans lib	coq	2002-12-19
*	simplification de solve_subgoal: n'utilise plus frontier	barras	2002-12-19
*	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey	2002-12-03
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration de la branche mowgli	herbelin	2002-11-05
*	Lazy manuelles dans le code	coq	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	Suppression automatique du corps des définitions locales opaques dans	herbelin	2002-08-17
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	petits changements cosmetiques sur les tactiques	barras	2002-02-15
*	Orthographe	herbelin	2002-01-11
*	reparation du make depend et du .depend	letouzey	2001-12-19
*	Mise en place d'une méthode directe pour indiquer le type des déclarations ...	herbelin	2001-11-19
*	GROS COMMIT:	barras	2001-11-05
*	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin	2001-10-17
*	Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra...	herbelin	2001-10-12