coq - The formal proof system

Age	Commit message (Expand)	Author
2009-01-29	Solves some warning and hides some not-bad ones in doc. It remains a	herbelin
2009-01-28	FSet(Weak)List : eq_dec becomes Defined (and gets better proof)	letouzey
2009-01-27	- Fixed various Overfull in documentation.	herbelin
2009-01-27	Cleaned CHANGES (rough backport of 11855 from v8.2 to trunk).	herbelin
2009-01-27	Forgot a file in r11859. Sorry...	puech
2009-01-26	Revert changes in pcoq functions to restore compatibility with contribs	puech
2009-01-23	Suppression de l'ancien logo (problèmes de droits)	notin
2009-01-23	Really compare evar maps in progress, due to merging in apply and other	msozeau
2009-01-23	Petit nettoyage faisant suite au commit #11847 .	aspiwack
2009-01-22	Fix #2011 : an incorrect environment when extracting Module ... with ...	letouzey
2009-01-22	Util.split_at : for quadratic to linear complexity	letouzey
2009-01-22	Extraction Library works now when some files share the same short name (fix #...	letouzey
2009-01-22	Fixes in the documentation of [dependent induction] and test-suite	msozeau
2009-01-22	configure: more adequate message explaining what -opt is doing	letouzey
2009-01-22	Fix d'un petit problème avec ocamlmklib en présence de l'option -camldir	notin
2009-01-22	Remplacement de cp --parents par un script sh	notin
2009-01-21	Fixed bug 2030 (bad syntax for "test" in doc compilation) [see 11824	herbelin
2009-01-21	Fix bug #2004 due to bad handling of evars in the unification for	msozeau
2009-01-21	- Better deal with commands inside section titles in latex output using	msozeau
2009-01-20	Fixing bug #1918 (no occur-check in Meta unification was done yet!).	herbelin
2009-01-20	- Fixing bug 1891 (abusive instantiations of evar arguments in	herbelin
2009-01-20	Fixing a bug in 11804 (support for _ in ident entry of notations).	herbelin
2009-01-20	Added some missing statements for proof folding and corrected	vgross
2009-01-20	Added proof folding into CoqIde. See RefMan for using it.	vgross
2009-01-20	Cette version là fonctionne correctement au moins pour certaines	aspiwack
2009-01-20	More fixes...	aspiwack
2009-01-20	Un fix sur le commit précédent.	aspiwack
2009-01-20	Patch de l'installation:	aspiwack
2009-01-19	Les records déclarés avec Record ne peuvent plus être récursifs (le	aspiwack
2009-01-19	Propriétés svn pour les filtres latex	notin
2009-01-19	Experimental file commited by mistake, sorry.	herbelin
2009-01-19	The initial state evar numbering increased. Fix output message in a test.	puech
2009-01-19	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin
2009-01-18	Backporting from v8.2 to trunk:	herbelin
2009-01-18	Various little fixes:	msozeau
2009-01-18	Getting rid of the previous implementation of setoid_rewrite which was	msozeau
2009-01-18	Last changes in type class syntax:	msozeau
2009-01-17	DISCLAIMER	puech
2009-01-16	Correct a bug in commit 11659	puech
2009-01-15	Patch by Brian Campbell to output more information on the exception that	msozeau
2009-01-14	Fixing #1960 (xml bug with external on goal variable) and #1961	herbelin
2009-01-14	Fixing/improving management of uniform prefix Local and Global	herbelin
2009-01-13	Updated dates	herbelin
2009-01-13	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin
2009-01-13	Workaround to compile the coq archive with dynamic loading on Mac OS 10.5	herbelin
2009-01-12	Fix a bunch of bugs related to setoid_rewrite, unification and evars:	msozeau
2009-01-11	- Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024).	herbelin
2009-01-10	Another problem with blanks in filenames	herbelin
2009-01-10	- Fixed the recompilation of config/revision.ml once every two conmpilations.	herbelin
2009-01-09	Oups... il n'y a pas d'option -impl pour ocamldep	notin