coq - The formal proof system

Age	Commit message (Expand)	Author
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
1999-09-08	module Himsg	filliatr
1999-09-08	module Himsg, comme un foncteur	filliatr
1999-09-08	cible doc	filliatr
1999-09-08	on fabrique aussi dev/db_printer.cmo	filliatr
1999-09-08	un wrapper autour de ocamldebug	filliatr
1999-09-08	printers pour le debugger	filliatr
1999-09-08	le bien nomme'	filliatr
1999-09-08	changements dans les grammaires	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 grammaire Coq	filliatr
1999-09-08	time stamps dans System	filliatr
1999-09-08	modules Ast et Pcoq	filliatr
1999-09-08	deplacement coqast vers parsing/	filliatr
1999-09-08	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr
1999-09-08	fichier de test d'inductifs pour minicoq	filliatr