coq - The formal proof system

Age	Commit message (Expand)	Author
2004-06-30	updated printing of evar context (may loop ?)	corbinea
2004-06-26	Licence changed from GPL to Lesser GPL.	sacerdot
2004-04-07	Copyright notice of files in contrib/xml made uniform.	sacerdot
2004-04-07	Coqdoc backtrack: HTML special characters are no longer quoted inside # ... #;	sacerdot
2004-04-06	Important bug fix: since coqdoc is now quoting XML reserved characters in	sacerdot
2004-04-05	Since coqdoc produces (X)HTML, HTML character entities can be used	sacerdot
2004-04-04	WARNING	sacerdot
2004-04-01	LocalFact added as a choice for the "as" attribute of ht:VARIABLE in the	sacerdot
2004-04-01	Big bug fixed: interactive local definitions where handled as constants	sacerdot
2004-04-01	Output of theory files reimplemented using Buffer.	sacerdot
2004-04-01	~keep_sections was now redundant. Got rid of.	sacerdot
2004-03-31	En mode batch, recuperation via Declare de l'information si un inductive est ...	herbelin
2004-03-30	* WARNING: DTD Change *	sacerdot
2004-03-30	declare_internal_constant behaved as declare_constant for proofs (e.g.	sacerdot
2004-03-30	No longer used (and probably no longer working) code removed.	sacerdot
2004-03-30	Added a <br/> after "Require ...".	sacerdot
2004-03-30	Renommage	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-29	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-27	Export des sections; creation COQ_XML_ROOT_LIBRARY si non existant; divers	herbelin
2004-03-27	-dead code removed.	sacerdot
2004-03-26	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-25	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot
2004-03-25	Dead code removed.	sacerdot
2004-03-24	Reparation typo de HH dans MAJ de Claudio	herbelin
2004-03-24	MAJ Claudio pour v8	herbelin
2002-12-03	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration de la branche mowgli	herbelin
2001-12-19	reparation du make depend et du .depend	letouzey
2001-11-19	Mise en place d'une méthode directe pour indiquer le type des déclarations ...	herbelin
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-10-12	Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra...	herbelin
2001-10-09	Suppression des arguments sur les constantes, inductifs et constructeurs	barras
2001-09-20	Transparent	barras
2001-09-20	Report des modifs de Claudio	herbelin
2001-08-10	Parsing	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-05-11	application patch Claudio	filliatr
2001-05-03	Changement de la structure des points fixes	barras
2001-03-15	entetes	filliatr
2001-03-01	Déplacement de qualid dans Nametab, hors du noyau	herbelin
2001-03-01	nouvelle implantation de la reduction	barras
2001-02-16	ident au lieu de string pour le nom de base de qualid	herbelin