coq - The formal proof system

Age	Commit message (Expand)	Author
1999-10-22	- répertoire tactics/	filliatr
1999-10-22	- module Redinfo dans library/ pour les constantes d'élimination	filliatr
1999-10-20	- documentation repertoire proofs/	filliatr
1999-10-20	modules Evar_refiner et Typing_ev	filliatr
1999-10-19	module Refiner	filliatr
1999-10-18	mise en place module Refiner	filliatr
1999-10-13	- re-introduction d'une evar_map dans unsafe_env	filliatr
1999-10-08	time stamps	filliatr
1999-10-01	deep_gp pour l'écriture dans un fichier	filliatr
1999-09-28	module Bstack et Edit	filliatr
1999-09-28	ajout de divers fonctions dans lib/	filliatr
1999-09-19	- un effort sur la doc (ocamlweb)	filliatr
1999-09-18	module Library	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-09	simplifications de code	filliatr
1999-09-09	implode codé avec String.concat	filliatr
1999-09-08	time stamps dans System	filliatr
1999-09-08	deplacement coqast vers parsing/	filliatr
1999-09-07	mise en place commandes minicoq	filliatr
1999-09-06	mise en place repertoire test-suite/, toplevel/, parsing/	filliatr
1999-09-03	modules Libobject et Summary (partiel)	filliatr
1999-08-30	un petit effort de presentation dans les interfaces	filliatr
1999-08-26	environnement sur	filliatr
1999-08-26	module Coqast	filliatr
1999-08-24	mach et himsg; typage sans extraction	filliatr
1999-08-20	programmation literaire : un fichier de description par repertoire	filliatr
1999-08-19	mise en place programmation literaire (generation de doc/coq.tex)	filliatr
1999-08-18	module Reduction (fin)	filliatr
1999-08-18	module Reduction (debut)	filliatr
1999-08-17	module Closure	filliatr
1999-08-17	ajout dyn; divers fonctions util	filliatr
1999-08-16	ancien names decoupe en names + sign	filliatr
1999-08-16	Initial revision	filliatr