coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	MAJ V7.3	herbelin	2002-05-16
*	Ajout remarques diverses et tactiques	herbelin	2002-04-17
*	package camlindent inutilise	barras	2002-04-10
*	maj newsyntax	barras	2002-02-04
*	MAJ V7.2	herbelin	2001-12-21
*	ajout du document sur la nouvelle syntaxe	barras	2001-12-11
*	document sur les propositions de nouvelle syntaxe	barras	2001-12-11
*	Mise a jour des dependances	clrenard	2001-11-29
*	MAJ après restructuration kernel	herbelin	2001-11-09
*	MAJ de graphes de dependance pour la doc des sources	coq	2001-04-24
*	mise a jour	filliatr	2001-04-02
*	mise a jour	filliatr	2001-02-14
*	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr	2000-11-06
*	Minor correction for Ocamlweb + doc update	coq	2000-09-14
*	dvips -o ==> dvips -o $@	coq	2000-07-26
*	doc	herbelin	2000-06-02
*	documentation	filliatr	1999-12-13
*	mise a jour	filliatr	1999-11-30
*	ocamlweb	filliatr	1999-11-30
*	graphes de dependances	filliatr	1999-11-30
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19
*	- répertoire tactics/	filliatr	1999-10-22
*	documentation proofs	filliatr	1999-10-20
*	mise en place du toplevel (ne compile pas encore)	filliatr	1999-09-28
*	module Declare	filliatr	1999-09-19
*	un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	affichage des erreurs de typage dans minicoq	filliatr	1999-09-10
*	doc minicoq (grammaires)	filliatr	1999-09-07
*	environnement sur	filliatr	1999-08-26
*	programmation literaire : un fichier de description par repertoire	filliatr	1999-08-20
*	coq.tex engendre automatiquement	filliatr	1999-08-19
*	documentation (prog literaire)	filliatr	1999-08-19