coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte...	letouzey	2009-12-08
*	New cleaning phase of the Local/Global option management	herbelin	2009-10-26
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Fixing/improving management of uniform prefix Local and Global	herbelin	2009-01-14
*	Nouvelle en-tête	herbelin	2004-07-16
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce	ddr	2002-02-20
*	compat ocaml 3.03	filliatr	2001-12-13
*	entetes	filliatr	2001-03-15
*	All errors were not well reported before. In particular syntax errors were	bertot	2001-02-10
*	Two pairs of parentheses were missing.	bertot	2001-02-09
*	changed the design to have command groups executed in a protected manner	bertot	2001-02-09
*	retablissement de line_oriented_parser pour Yves	filliatr	2000-11-22
*	retablissement du toplevel	filliatr	1999-09-28