coq - The formal proof system

Age	Commit message (Expand)	Author
2000-04-26	Introduction d'un type constr_pattern pour les différents filtrages	herbelin
2000-04-21	discharge des axiomes	filliatr
2000-04-20	Abstraction du type typed_type (un pas vers les jugements 2 niveaux)	herbelin
2000-03-31	Portage (pour la forme) de minicoq	herbelin
2000-03-30	erreurs lexicales dans les patterns (manquait des espaces)	filliatr
2000-03-30	Réajout globalize_command	herbelin
2000-03-28	Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...	herbelin
2000-03-23	Amélioration d'un message d'erreur	herbelin
2000-03-21	Extension du case_info : ajout du nombre de vrais args de chaque constr pour ...	herbelin
2000-03-20	Affichage des anonymes si lambda	herbelin
2000-03-07	Capture des exceptions si env vide pour ne pas echouer lors du debogage	herbelin
2000-01-31	Export gentermpr avec renommage	herbelin
2000-01-26	MAJ ocaml 2.99 (espaces dans la syntaxe des cast)	herbelin
2000-01-26	Fin du changement comarg -> constrarg	herbelin
2000-01-26	Abstraction de l'implémentation des signatures de Sign en vue intégration d...	herbelin
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-20	Bête renommage	herbelin
2000-01-13	Nettoyage des fichiers de parsing	herbelin
2000-01-11	Ajout '\|' en tete de filtrage	herbelin
2000-01-07	Grammaire pour Grammar et Syntax, avant dans Extend	herbelin
2000-01-07	MAJ	herbelin
2000-01-07	Renommage command en constr	herbelin
2000-01-07	Restructuration printer et parser	herbelin
2000-01-07	Renommage command en constr	herbelin
1999-12-15	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin
1999-12-15	Les inductifs dans Scheme doivent être des ident d'inductifs	herbelin
1999-12-13	- états fabriqués avec -silent	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	Poursuite intégration du Cases	herbelin
1999-12-12	modules et coqc	filliatr
1999-12-11	Intégration initiale du Cases	herbelin
1999-12-10	bug: enregistrement de vartab au lieu de csttab	filliatr
1999-12-10	- erreurs Pretype	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-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-07	debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes	filliatr
1999-12-06	Bug iterated_binder	herbelin
1999-12-06	declarations eliminations / debuggae inductifs (debut)	filliatr
1999-12-06	erreurs lexicales	filliatr
1999-12-05	mise au point lexer / debugage PP	filliatr
1999-12-03	compilation native	filliatr
1999-12-03	bug make_strength repare	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-12-03	- global_reference traite des variables	filliatr
1999-12-02	modifs pour premiere edition de liens	filliatr
1999-12-02	affichage classes et coercions	filliatr