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-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
2012-09-14	This patch removes unused "open" (automatically generated from	regisgia
2012-08-08	Updating headers.	herbelin
2012-05-29	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey
2012-03-02	Noise for nothing	pboutill
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-22	Extension of the recursive notations mechanism	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
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