coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	compilation en natif (règles génériques, cibles coqtop et coqtop.byte, etc.)	filliatr	1999-09-09
*	module Himsg	filliatr	1999-09-08
*	cible doc	filliatr	1999-09-08
*	on fabrique aussi dev/db_printer.cmo	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
*	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr	1999-09-08
*	(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
*	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
*	programmation literaire : un fichier de description par repertoire	filliatr	1999-08-20
*	machine: execute = typage avec univers	filliatr	1999-08-20
*	mise en place programmation literaire (generation de doc/coq.tex)	filliatr	1999-08-19
*	module Reduction (fin)	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