coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	erreurs lexicales	filliatr	1999-12-06
*	premier debugage	filliatr	1999-12-05
*	fichiers de bench	filliatr	1999-12-05
*	repertoire pour les etats	filliatr	1999-12-05
*	pretty-print	filliatr	1999-12-05
*	changement type add_anonymous_leaf	filliatr	1999-12-05
*	mise au point lexer / debugage PP	filliatr	1999-12-05
*	add_leaf -> application methode cache	filliatr	1999-12-05
*	explicitations erreurs inductifs	filliatr	1999-12-05
*	abstraction type Gmapl.t	filliatr	1999-12-05
*	compilation native	filliatr	1999-12-03
*	bug make_strength repare	filliatr	1999-12-03
*	renommage pour eviter pbm avec ocamldep (syntax error)	filliatr	1999-12-03
*	- coqmktop	filliatr	1999-12-03
*	pour debugger dans le toplevel ocaml	filliatr	1999-12-03
*	coqmktop	filliatr	1999-12-03
*	module Discharge (ne fait rien pour l'instant)	filliatr	1999-12-03
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	- global_reference traite des variables	filliatr	1999-12-03
*	Modifs suite à intégration de class.ml	herbelin	1999-12-02
*	Version initiale	herbelin	1999-12-02
*	... dans toplevel	herbelin	1999-12-02
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	Pfedit (fin)	filliatr	1999-12-02
*	affichage classes et coercions	filliatr	1999-12-02
*	module Command	filliatr	1999-12-02
*	Intégration du Termast et du Retyping de HH, et modifications connexes	herbelin	1999-12-01
*	Ajout des fonctions prpattern et prrawterm	herbelin	1999-12-01
*	Renommage de g_multiple_case en g_cases	herbelin	1999-12-01
*	Renommage de multcase en cases	herbelin	1999-12-01
*	Retour dans pretyping	herbelin	1999-12-01
*	Avant dans pretyping	herbelin	1999-12-01
*	déplacé dans kernel	herbelin	1999-12-01
*	poursuite de Vernacentries	filliatr	1999-12-01
*	module Metasyntax	filliatr	1999-12-01
*	module Egrammar	filliatr	1999-12-01
*	mise au point Declare et avancee dans Astterm	filliatr	1999-12-01
*	printers	filliatr	1999-12-01
*	portage Vernacentries (debut)	filliatr	1999-12-01
*	mise a jour Coercion	filliatr	1999-12-01
*	make_strength / reset_library	filliatr	1999-12-01
*	diverses fonctions ajoutees	filliatr	1999-12-01
*	module Pfedit	filliatr	1999-12-01
*	- environment -> safe_environment	filliatr	1999-12-01
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	inductive_key et constructor_key	herbelin	1999-11-30
*	ocamlweb	filliatr	1999-11-30
*	mise a jour	filliatr	1999-11-30
*	ocamlweb	filliatr	1999-11-30
*	graphes de dependances	filliatr	1999-11-30