coq - The formal proof system

Age	Commit message (Expand)	Author
2008-06-17	Fix bug in handling of classes and instances inside sections at	msozeau
2008-06-17	Cleanup in subtac_cases, preparing to use improvements on return predicate	msozeau
2008-06-17	Fixes w.r.t. let binders in class contexts and Add Parametric	msozeau
2008-06-17	Better typeclass error messages, always giving the full set of	msozeau
2008-06-16	Add possibility to match on defined hypotheses, using brackets to	msozeau
2008-06-14	Correction bug 1878 (utilisation de extend_evar déplacée là où une	herbelin
2008-06-13	CoqIDE: 2 problèmes de undo encore:	herbelin
2008-06-13	Temporary fix for bug #1876, printing fails because of unresolved	msozeau
2008-06-13	Numéros de version dans la doc	notin
2008-06-12	Correction d'un problème lié à une interaction entre hyperref et	notin
2008-06-12	Changing the definitions of pred and minus in the style of GG	werner
2008-06-12	Correction parser révélé par test-suite	herbelin
2008-06-12	Compilation Windows	notin
2008-06-12	Remplacement des 'cp' et 'mkdir' par 'install'	notin
2008-06-12	Confusion sur commit précédent de library. La capture du Not_found	herbelin
2008-06-11	Bug dans l'adaptation de library_full_filename lors du débranchement	herbelin
2008-06-11	Correction bug alias d'alias.	soubiran
2008-06-11	Prise en compte de l'export des .cmi dans coq_makefile	notin
2008-06-11	Optionally (and by default) split typeclasses evars into connected	msozeau
2008-06-11	now Escape toggles query pane	jnarboux
2008-06-11	MAJ diverses	herbelin
2008-06-11	Plutôt que de reposer sur le vernacexpr pour détecter les débuts de	herbelin
2008-06-11	Correction de deux bugs liés au commit 11094 sur les clauses "at" et "in".	herbelin
2008-06-11	escape key now hides pane	jnarboux
2008-06-11	Zpow_facts.Zmult_power: kills a useless hypothesis	letouzey
2008-06-10	Ajout query Locate dans coqide sur suggestion Arthur C.	herbelin
2008-06-10	- Amélioration nommage dans EqdepFacts suivant remarque de Arthur C.	herbelin
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-06-10	open and save buttons are the default	barras
2008-06-10	- Correct handling of DependentMorphism error, using tclFAIL instead of	msozeau
2008-06-10	2-3 petites modifs sur la doc	notin
2008-06-10	Backtrack sur l'"optimisation" de admit (révision 11084). Comme le	herbelin
2008-06-10	correction d'un bug sur la commande Include.	soubiran
2008-06-10	Fix the number parsing/printing for BigN/BigZ/BigQ	letouzey
2008-06-10	Suppression de la dépendance de Micromega envers Coq.Reals.Reals. Corrige le...	notin
2008-06-10	- Correction bug 1841 (identificateurs incorrects avec Subclass)	herbelin
2008-06-09	- Correction de la version simplifiée (filtrage sur deux sig	herbelin
2008-06-09	Ajout d'un comportement special du sous-typage pour les constantes opaques.	soubiran
2008-06-09	Fix a typo	glondu
2008-06-09	Documentation de "instantiate".	glondu
2008-06-09	Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...	notin
2008-06-09	On prend des risques en tentant d'optimiser encore plus le undo en cas	herbelin
2008-06-09	- Documentation de admit et Print Assumptions.	herbelin
2008-06-09	more uniform name of app for windows class	jnarboux
2008-06-09	fix toggle item for show hide query pane	jnarboux
2008-06-09	add confirmation dialog for printing	jnarboux
2008-06-08	- Patch sur "intros until 0"	herbelin
2008-06-08	- Extension de "generalize" en "generalize c as id at occs".	herbelin
2008-06-08	enleve les majuscules dans Save All, comem suggéré pas Hugo	jnarboux
2008-06-08	Second pass on typeclasses documentation, fix html rendering.	msozeau