coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Changement des named_context	gregoire	2005-12-02
*	Confusion assert/error détectée par nouveau warning X de ocaml 3.09	herbelin	2005-11-04
*	Protection against saving a proof with still non-instantiated evars (cf bug #...	herbelin	2005-04-29
*	Protection against saving a proof with still non-instantiated evars (cf bug #...	herbelin	2005-04-29
*	Déplacement de 'project' dans Refiner pour supprimer des dépendances en Tac...	herbelin	2004-12-31
*	Mise en page	herbelin	2004-11-17
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	deuxieme vague de modifs: evar_defs fonctionnel	barras	2004-09-07
*	deplacement de clenv vers pretyping	barras	2004-09-03
*	premiere reorganisation de l\'unification	barras	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	added breakpoints to help ide	corbinea	2004-02-26
*	Bug affichage des metas dans un environnement avec definitions locales (bug 277)	herbelin	2003-12-19
*	Idtac peut prendre un argument à afficher	narboux	2003-11-12
*	2 espaces en trop	herbelin	2003-11-05
*	Amelioration de l'afficheur de script structure	herbelin	2003-11-05
*	Paramétrisation vis à vis de existential_key	herbelin	2003-09-06
*	Ground update	corbinea	2003-07-08
*	Ground Update.	corbinea	2003-06-20
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	Affichage des tactiques en v8	herbelin	2003-04-07
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	Ajout d'un message à FailTac	herbelin	2003-03-31
*	simplification de solve_subgoal: n'utilise plus frontier	barras	2002-12-19
*	Option pour rendre les vérifications du refiner optionnelle	herbelin	2002-12-09
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Protection contre l'encapsulage de FailError dans Exc_located (sinon, par exe...	herbelin	2002-07-11
*	Réorganisation des tclTHEN (cf dev/changements.txt)	herbelin	2002-05-29
*	prterm -> prterm_env	filliatr	2002-02-08
*	compat ocaml 3.03	filliatr	2001-12-13
*	suppression de l'affichage des noeuds Change_evars	barras	2001-12-11
*	Suppression des stamps et donc des *_constraints	clrenard	2001-11-12
*	Suites modifs du noyau. Univ devient purement fonctionnel.	barras	2001-11-12
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	GROS COMMIT:	barras	2001-11-05
*	Problème d'affichage d'un . pour les Local_constraints; remplacement par Idtac	herbelin	2001-09-21
*	exceptions	barras	2001-09-14
*	Suppression de l'affichage du non-reparsable 'Local constraint change'	herbelin	2001-07-24
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	Metas dans les Unfold's	delahaye	2001-04-19
*	Reparation du bug de Try	delahaye	2001-04-14
*	amelioration de la structure des univers	barras	2001-03-28
*	entetes	filliatr	2001-03-15
*	introduction d'un refine avec resolution des types et de l'instantiation des ...	mohring	2001-02-28
*	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr	2001-02-08
*	Remplacement de debug en assert	herbelin	2000-12-25
*	Bug norm_evar_pf; remplacement par l'insertion d'un noeud local_constraints q...	herbelin	2000-12-20
*	Hint Unfold Local + commentaires	mohring	2000-12-12