coq - The formal proof system

Age	Commit message (Expand)	Author
1999-10-22	module Macros et Tacinterp	filliatr
1999-10-22	- module Redinfo dans library/ pour les constantes d'élimination	filliatr
1999-10-20	- documentation repertoire proofs/	filliatr
1999-10-20	documentation proofs	filliatr
1999-10-20	module Clenv (debut)	filliatr
1999-10-20	modules Evar_refiner et Typing_ev	filliatr
1999-10-19	module Refiner	filliatr
1999-10-19	les variables existentielles contiennent maintenant un environnement (type	filliatr
1999-10-18	mise en place module Refiner	filliatr
1999-10-18	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr
1999-10-14	module Logic	filliatr
1999-10-14	module Proof_trees	filliatr
1999-10-14	pas de merge univers dans Declare, car deja fait dans Environ	filliatr
1999-10-13	organisation de trad (entre parsing/ et pretyping/)	filliatr
1999-10-13	mise a jour	filliatr
1999-10-13	plus de recettes pour les corps des constantes	filliatr
1999-10-13	- re-introduction d'une evar_map dans unsafe_env	filliatr
1999-10-13	documentation	filliatr
1999-10-13	redeplacement des var. ex. dans kernel :-)	filliatr
1999-10-12	module Logic	filliatr
1999-10-08	module Logic (ne compile pas encore)	filliatr
1999-10-08	deplacement des var. ex. dans proofs	filliatr
1999-10-08	deplacements des var. ex. hors du noyau	filliatr
1999-10-08	time stamps	filliatr
1999-10-01	deep_gp pour l'écriture dans un fichier	filliatr
1999-10-01	documentation interface	filliatr
1999-09-29	with_heavy_rollback deplace dans States	filliatr
1999-09-28	corrections pour ocamlweb	filliatr
1999-09-28	module Bstack et Edit	filliatr
1999-09-28	mise en place du toplevel (ne compile pas encore)	filliatr
1999-09-28	juste l'interface de Discharge	filliatr
1999-09-28	quelques trucs necessaires au toplevel	filliatr
1999-09-28	retablissement du toplevel	filliatr
1999-09-28	ajout de divers fonctions dans lib/	filliatr
1999-09-27	ajout des constraintes pendant le chargement d'un module (load)	filliatr
1999-09-27	report d'une correction de Bruno	filliatr
1999-09-26	message erreur UI pendant import	filliatr
1999-09-25	ensembles de contraintes d'univers	filliatr
1999-09-19	module Declare	filliatr
1999-09-19	- un effort sur la doc (ocamlweb)	filliatr
1999-09-19	un effort sur la doc (ocamlweb)	filliatr
1999-09-18	module Library	filliatr
1999-09-10	affichage des erreurs de typage dans minicoq	filliatr
1999-09-10	documentation repertoire toplevel	filliatr
1999-09-10	modules System, Lib et States	filliatr
1999-09-09	les sections ne sont plus stockées à l'envers dans les section paths	filliatr
1999-09-09	simplifications de code	filliatr
1999-09-09	implode codé avec String.concat	filliatr
1999-09-09	environement global	filliatr
1999-09-09	compilation en natif (règles génériques, cibles coqtop et coqtop.byte, etc.)	filliatr