coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	bug coqmktop avec libcoqrun.a en bytecode	barras	2004-11-15
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	no-assert en mode natif	herbelin	2004-09-26
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	Nouvelle en-tête	herbelin	2004-07-16
*	deplacement des cma et cmxa dans les sous-repertoires	barras	2004-01-26
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	ameliorations coqide	coq	2003-12-30
*	Inclusion automatique de highparsing	herbelin	2003-09-12
*	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate	2003-04-09
*	on repasse aussi -thread a Caml	filliatr	2003-04-08
*	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr	2003-03-17
*	* empty log message *	barras	2003-03-12
*	interface GTK2 experimentale	monate	2003-02-04
*	Contournement de ocamlmktop qui plante sous win32	herbelin	2003-02-04
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	echappements incorrects dans chaine	filliatr	2002-09-17
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard	2001-11-30
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	support option -R pour coqdep	filliatr	2001-04-20
*	entetes	filliatr	2001-03-15
*	les options passées sont prioritaires sur les -I par défaut	filliatr	2001-03-15
*	modifs pour extraction; bug coqmktop	filliatr	2001-03-06
*	bug Reset et Sections	filliatr	2001-02-28
*	- coqc : option -image	filliatr	2001-02-01
*	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr	2000-10-27
*	contrib linkees en natif	filliatr	2000-05-08
*	compilation bytecode / native :	filliatr	2000-05-03
*	portage en ocaml / camlp4 3.00	filliatr	2000-04-28
*	link Dhyp et Auto	filliatr	1999-12-07
*	compilation native	filliatr	1999-12-03
*	coqmktop	filliatr	1999-12-03