coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	corrections pour ocamlweb	filliatr	1999-09-28
*	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
*	module Library	filliatr	1999-09-18
*	affichage des erreurs de typage dans minicoq	filliatr	1999-09-10
*	modules System, Lib et States	filliatr	1999-09-10
*	module Himsg	filliatr	1999-09-08
*	compilation des grammaires (ouf)	filliatr	1999-09-08
*	- deplacement time stamps dans System (car utilise Unix)	filliatr	1999-09-08
*	modules Ast et Pcoq	filliatr	1999-09-08
*	mise a jour	filliatr	1999-09-07
*	- minicoq : definition inductifs; syntaxe a->b	filliatr	1999-09-07
*	mise en place commandes minicoq	filliatr	1999-09-07
*	(debut) de grammaire minicoq	filliatr	1999-09-07
*	mise en place grammaire minicoq	filliatr	1999-09-07
*	mise en place repertoire test-suite/, toplevel/, parsing/	filliatr	1999-09-06
*	modules Libobject et Summary (partiel)	filliatr	1999-09-03
*	mise a jour	filliatr	1999-08-30
*	module Indtypes	filliatr	1999-08-27
*	environnement sur	filliatr	1999-08-26
*	le noyau compile et link	filliatr	1999-08-26
*	mise a jour	filliatr	1999-08-25
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	machine: execute = typage avec univers	filliatr	1999-08-20
*	module Reduction (fin)	filliatr	1999-08-18
*	module Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	ajout de modules	filliatr	1999-08-17
*	ancien names decoupe en names + sign	filliatr	1999-08-16
*	Initial revision	filliatr	1999-08-16