coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	meilleur gestion de la fonction de "cache" des alias (declaremods), et correc...	soubiran	2008-06-18
*	Detection de l'architecture sous Windows (et sans uname -o)	notin	2008-06-18
*	Où l'on se débarrasse de uname -o	notin	2008-06-18
*	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-17
*	Add possibility to match on defined hypotheses, using brackets to	msozeau	2008-06-16
*	Correction bug 1878 (utilisation de extend_evar déplacée là où une	herbelin	2008-06-14
*	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-13
*	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-12
*	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-11
*	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-10
*	- 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-09
*	- Patch sur "intros until 0"	herbelin	2008-06-08