coq - The formal proof system

Age	Commit message (Expand)	Author
2012-02-01	Debugger vs tracer: Two different behaviors wrt printing: The debugger	herbelin
2010-12-24	More {raw => glob} changes for consistency	glondu
2010-12-23	Rename rawterm.ml into glob_term.ml	glondu
2010-12-23	Change of nomenclature: rawconstr -> glob_constr	glondu
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Removed obsolete v7->v8 translation code (function check_same_type is	herbelin
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-04-14	Diverses corrections	herbelin
2007-06-30	Factorisation des types dans l'affichage des paramètres des (Co)Inductif/Record	herbelin
2007-04-29	Multiples changements autour des implicites :	herbelin
2007-01-22	Allègement de l'affichage des références par le printer si possible	herbelin
2007-01-11	Ajout d'une option de débogage pour expliciter l'instance des evars	herbelin
2006-12-12	Variable print_instances pour dÃ©boguer les instances d'evar	herbelin
2006-05-19	Ajout de pr_sort, extern_sort, detype_sort et renommage pr_sort en pr_rawsort	herbelin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2005-01-02	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin
2004-12-22	Mecanisme d'affichage des types (notamment les conclusions des buts) typiquem...	herbelin
2004-07-16	Abstraction vis à vis du type loc pour compatibilité ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2003-10-16	Debranchement de l'affichage systematique des projections avec la notation po...	herbelin
2003-09-12	Scope type pour le codomaine de Prod aussi; ajout extern_rawtype	herbelin
2003-08-14	Traducteur de correctness	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-06-10	Amélioration afficheur de Cases pour les constr_pattern	herbelin
2003-04-09	Mécanisme plus simple et efficace pour traduire les implicites	herbelin
2003-03-12	* empty log message *	barras
2002-12-09	Problèmes et améliorations divers affichage	herbelin
2002-12-02	Re-déplacement du résultat de Grammar au niveau constr_expr	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin