coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	fichiers prelude Coq	filliatr	1999-12-13
*	Poursuite intégration du Cases	herbelin	1999-12-13
*	Ajout pp pattern et rawterm	herbelin	1999-12-12
*	mise a jour	filliatr	1999-12-12
*	modules et coqc	filliatr	1999-12-12
*	modules	filliatr	1999-12-12
*	renommage (nom de module invalide)	filliatr	1999-12-12
*	mise en place des outils	filliatr	1999-12-11
*	outils (manquent encore les deux filtres)	filliatr	1999-12-11
*	Intégration initiale du Cases	herbelin	1999-12-11
*	Quelques fonctions sur les locations des rawconstr	herbelin	1999-12-11
*	bug: enregistrement de vartab au lieu de csttab	filliatr	1999-12-10
*	indications pour les developpeurs	filliatr	1999-12-10
*	- erreurs Pretype	filliatr	1999-12-10
*	debug reset	filliatr	1999-12-10
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	debug discharge et inductifs	filliatr	1999-12-10
*	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-09
*	deplacement de Discharge dans toplevel	filliatr	1999-12-08
*	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-07
*	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-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