coq - The formal proof system

Age	Commit message (Expand)	Author
1999-12-10	debug discharge et inductifs	filliatr
1999-12-09	Ajout des messages d'erreurs de Cases	herbelin
1999-12-09	Bug affichage constructeur	herbelin
1999-12-09	- constantes avec recettes	filliatr
1999-12-09	Discharge (encore bugge)	filliatr
1999-12-08	deplacement de Discharge dans toplevel	filliatr
1999-12-07	link Dhyp et Auto	filliatr
1999-12-07	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr
1999-12-07	correction bug construct_reference	filliatr
1999-12-06	MAJ	herbelin
1999-12-06	Ajout option spéciale PPC	herbelin
1999-12-06	Bug iterated_binder	herbelin
1999-12-06	PPMultipleCase.v -> PPCases.v et MAJ	herbelin
1999-12-06	initialisation load path (provisoire)	filliatr
1999-12-06	check_correct_par n'etait pas fait au bon endroit	filliatr
1999-12-06	declarations eliminations / debuggae inductifs (debut)	filliatr
1999-12-06	erreurs lexicales	filliatr
1999-12-05	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-03	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-02	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-01	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