coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	discriminations nets	filliatr	1999-11-19
*	introduction de Gset et Gmap pour Tlm puis Dn	filliatr	1999-11-18
*	- répertoire tactics/	filliatr	1999-10-22
*	module Macros et Tacinterp	filliatr	1999-10-22
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	module Clenv (debut)	filliatr	1999-10-20
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	module Refiner	filliatr	1999-10-19
*	les variables existentielles contiennent maintenant un environnement (type	filliatr	1999-10-19
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	module Logic	filliatr	1999-10-14
*	module Proof_trees	filliatr	1999-10-14
*	- re-introduction d'une evar_map dans unsafe_env	filliatr	1999-10-13
*	redeplacement des var. ex. dans kernel :-)	filliatr	1999-10-13
*	module Logic	filliatr	1999-10-12
*	deplacement des var. ex. dans proofs	filliatr	1999-10-08
*	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