coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	module Wcclausenv	filliatr	1999-11-22
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	discriminations nets	filliatr	1999-11-19
*	Sets et Maps avec egalite generique	filliatr	1999-11-18
*	- répertoire tactics/	filliatr	1999-10-22
*	- module Redinfo dans library/ pour les constantes d'élimination	filliatr	1999-10-22
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	module Refiner	filliatr	1999-10-19
*	mise en place module Refiner	filliatr	1999-10-18
*	- re-introduction d'une evar_map dans unsafe_env	filliatr	1999-10-13
*	time stamps	filliatr	1999-10-08
*	deep_gp pour l'écriture dans un fichier	filliatr	1999-10-01
*	module Bstack et Edit	filliatr	1999-09-28
*	ajout de divers fonctions dans lib/	filliatr	1999-09-28
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	module Library	filliatr	1999-09-18
*	modules System, Lib et States	filliatr	1999-09-10
*	simplifications de code	filliatr	1999-09-09
*	implode codé avec String.concat	filliatr	1999-09-09
*	time stamps dans System	filliatr	1999-09-08
*	deplacement coqast vers parsing/	filliatr	1999-09-08
*	mise en place commandes 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
*	un petit effort de presentation dans les interfaces	filliatr	1999-08-30
*	environnement sur	filliatr	1999-08-26
*	module Coqast	filliatr	1999-08-26
*	mach et himsg; typage sans extraction	filliatr	1999-08-24
*	programmation literaire : un fichier de description par repertoire	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 Reduction (debut)	filliatr	1999-08-18
*	module Closure	filliatr	1999-08-17
*	ajout dyn; divers fonctions util	filliatr	1999-08-17
*	ancien names decoupe en names + sign	filliatr	1999-08-16
*	Initial revision	filliatr	1999-08-16