coq - The formal proof system

Age	Commit message (Expand)	Author
2018-05-31	[notations] Split interpretation and parsing of notations	Emilio Jesus Gallego Arias
2018-02-27	Update headers following #6543.	Théo Zimmermann
2018-02-20	Adding support for parsing subterms of a notation as "pattern".	Hugo Herbelin
2017-09-18	Reporting locations in error messages about notation formats.	Hugo Herbelin
2017-08-29	A new step of restructuration of notations.	Hugo Herbelin
2017-07-27	deprecate Pp.std_ppcmds type alias	Matej Košík
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-06-02	Remove tabulation support from pretty-printing.	Guillaume Melquiond
2016-01-20	Update copyright headers.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-22	Extension of the recursive notations mechanism	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-17	Mise en place de motifs récursifs dans Notation; quelques simplifications au...	herbelin
2002-12-09	Problèmes et améliorations divers affichage	herbelin
2002-12-03	Préparation à la prise en compte des changements de scopes internes aux not...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin