coq - The formal proof system

Age	Commit message (Expand)	Author
2007-05-20	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin
2007-04-28	Ajout de la possibilité de faire référence dans certains cas à un nom	herbelin
2006-11-20	Suppression du type 'tac dans les abstract_argument_type: devenu inutile	herbelin
2006-06-23	documentation	herbelin
2006-06-22	Légère mise à jour	herbelin
2006-06-08	Changement du type d'argument 'TacticArgType X' en un type	herbelin
2006-06-07	Correction trou de subject-reduction de create_arg dans genarg.mli	herbelin
2006-05-30	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin
2006-01-16	Ajout motif d'introduction "?" (IntroAnonymous) pour laisser Coq choisir un nom	herbelin
2005-12-26	Petite correction nom QuantHypArgType suite suppression traducteur	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-05-17	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin
2005-01-21	Compatibilité ocamlweb pour cible doc	herbelin
2004-12-09	Restauration type casted_open_constr pour tactique refine car l'unification n...	herbelin
2004-12-06	Généralisation de CastedOpenConstrArg en OpenConstrArg, à charge des tacti...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-02	Ajout d'une entrée hyp de type HypArgType pour parser et interpréter les no...	herbelin
2004-03-01	Généralisation du type ltac Identifier en IntroPattern; prise en compte des...	herbelin
2003-12-01	Nouvelle tactique EExists	clrenard
2003-11-17	New tactics : econstructor, eleft, eright, esplit	clrenard
2003-05-21	Suppression définitive de lmatch et or_metanum dans tacinterp	herbelin
2003-05-19	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin
2003-04-10	Relachement globalisation Unfold en usage interactif	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin