coq - The formal proof system

Age	Commit message (Expand)	Author
2008-08-04	Évolutions diverses et variées.	herbelin
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2006-04-27	Standardisation nom option_app en option_map	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	GROS COMMIT:	barras
2001-03-23	amelioration de la consommation memoire de la conversion en eta-expansant	barras
2001-03-15	entetes	filliatr
2000-11-23	print_id, print_sp -> pr_id, pr_sp	herbelin
2000-11-02	suppression des (* open Generic *)	filliatr
2000-10-18	Renommage canonique :	herbelin
2000-10-01	renommage map_constr_with_named_binders	herbelin
2000-09-14	Abstraction de constr	herbelin
2000-09-10	Correction pour make doc	herbelin
2000-09-10	Suppression de Abst	herbelin
2000-09-10	Ajout d'un LetIn primitif.	herbelin
2000-09-06	Canonisation de certains noms dans Pretyping, Asterm et Safe_typing	herbelin
2000-07-25	retablissement make doc et make minicoq	filliatr
2000-07-21	retablissement minicoq (pour Jacek)	filliatr
2000-05-22	Suite restructuration inductifs; changement nom module Constant en Declarations	herbelin
2000-03-31	Portage (pour la forme) de minicoq	herbelin
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-12-01	mise au point Declare et avancee dans Astterm	filliatr
1999-12-01	- Typing -> Safe_typing	filliatr
1999-10-08	deplacement des var. ex. dans proofs	filliatr
1999-09-10	affichage des erreurs de typage dans minicoq	filliatr
1999-09-08	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr
1999-09-07	instanciation des opérateurs sur la bonne signature (celle de	filliatr
1999-09-07	- minicoq : definition inductifs; syntaxe a->b	filliatr
1999-09-07	mise en place commandes minicoq	filliatr
1999-09-07	(debut) de grammaire minicoq	filliatr
1999-09-06	un mini toplevel pour tester le noyau	filliatr