coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	- 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	2008-06-08
*	Correct handling of the environment in build_signature, and throw	msozeau	2008-06-07
*	Change setoid_rewrite's matching semantics to continue matching inside	msozeau	2008-06-07
*	Fix library index template and associated script.	msozeau	2008-06-07
*	add tiny change to coqide	jnarboux	2008-06-07
*	Enhancements to coqdoc, better globalization of sections and modules.	msozeau	2008-06-06
*	avoid duplicated creation of WFacts instances	letouzey	2008-06-06
*	ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...	soubiran	2008-06-06
*	2-3 petites modifs pour la compilation sous Windows...	notin	2008-06-06
*	Copie des .cmi en plus des .cma et des .cmxa	notin	2008-06-06
*	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin	2008-06-06
*	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin	2008-06-06
*	Quelques infos pour la portabilité 8.1 --> 8.2	notin	2008-06-05
*	One (last?) more update of CHANGES.	letouzey	2008-06-05
*	changed w_coerce_to_type to consider remaining unif problems (Hugo\'s patch)	barras	2008-06-05
*	Fix typos	lmamane	2008-06-05
*	Renommage id dans le test Nametab (suite ajout d'une constante de ce	herbelin	2008-06-05
*	Correctly catch UnresolvableConstraint exception which is now located.	msozeau	2008-06-05
*	more updates of CHANGES	letouzey	2008-06-04
*	Fixes incorrect handling of existing existentials variables in	msozeau	2008-06-03
*	Fix setoid_rewrite documentation examples.	msozeau	2008-06-03
*	improve name, size and position of detached windows	jnarboux	2008-06-03
*	Some updates of CHANGES (to be continued...)	letouzey	2008-06-03