coq - The formal proof system

Age	Commit message (Expand)	Author
1999-10-20	modules Evar_refiner et Typing_ev	filliatr
1999-10-19	les variables existentielles contiennent maintenant un environnement (type	filliatr
1999-10-18	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr
1999-10-13	redeplacement des var. ex. dans kernel :-)	filliatr
1999-10-12	module Logic	filliatr
1999-10-08	deplacement des var. ex. dans proofs	filliatr
1999-09-28	corrections pour ocamlweb	filliatr
1999-09-28	mise en place du toplevel (ne compile pas encore)	filliatr
1999-09-19	module Declare	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	modules System, Lib et States	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	cible doc	filliatr
1999-09-08	on fabrique aussi dev/db_printer.cmo	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	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr
1999-09-07	(debut) de grammaire minicoq	filliatr
1999-09-07	mise en place grammaire 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-27	module Indtypes	filliatr
1999-08-26	environnement sur	filliatr
1999-08-26	le noyau compile et link	filliatr
1999-08-25	mise a jour	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-20	machine: execute = typage avec univers	filliatr
1999-08-19	mise en place programmation literaire (generation de doc/coq.tex)	filliatr
1999-08-18	module Reduction (fin)	filliatr
1999-08-17	module Closure	filliatr
1999-08-17	ajout de modules	filliatr
1999-08-16	ancien names decoupe en names + sign	filliatr
1999-08-16	Initial revision	filliatr