coq - The formal proof system

Age	Commit message (Expand)	Author
2017-09-22	Remove some unused parts of the reference manual.	Guillaume Melquiond
2017-05-23	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias
2017-05-01	More consistent writing of de Bruijn.	Théo Zimmermann
2017-05-01	Fix for bug 5507. Mispelt de Bruijn.	Théo Zimmermann
2016-08-19	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias
2009-11-04	Removed 'Toplevel' language from extraction documentation, since it is not cu...	gmelquio
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-02-24	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin