coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2004-07-16	Nouvelle en-tête	herbelin
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-03-31	En mode batch, recuperation via Declare de l'information si un inductive est ...	herbelin
2004-03-30	Distinction entre declarations internes (p.ex. _subproof) et declarations uti...	herbelin
2004-03-26	Ajout exportation des 'theory.xml' + divers	herbelin
2004-03-24	Nettoyage	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2003-03-12	* empty log message *	barras
2003-01-19	Restructuration interpréteur de tactique: plus d'évaluation partielle à la...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration de la branche mowgli	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-05-29	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin