coq - The formal proof system

Age	Commit message (Expand)	Author
2017-02-15	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias
2016-01-20	Update copyright headers.	Maxime Dénès
2015-02-19	Adding a possible DEPRECATED flag to VERNAC EXTEND statements.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-09-10	VernacExtend does not dispatch on type anymore.	Pierre-Marie Pédrot
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2013-06-06	More comments in Genarg.	ppedrot
2013-04-15	More functional implementation of locality_flag and program_mode	gareuselesinge
2013-03-13	Vernac+Toplevel: get rid of Error_in_file	letouzey
2012-08-08	Updating headers.	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	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
2004-07-16	Nouvelle en-tête	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2001-09-20	Transparent	barras
2001-03-15	entetes	filliatr
2001-03-01	Déplacement de qualid dans Nametab, hors du noyau	herbelin
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-11-22	Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...	herbelin
2000-11-20	Prise en compte des noms qualifiés dans certaines commandes	herbelin
2000-05-03	Ajout du langage de tactiques	delahaye
2000-01-07	Renommage command en constr	herbelin
1999-11-24	Vernacinterp et Vernacentries (partiellement)	filliatr
1999-09-28	retablissement du toplevel	filliatr