index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
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
*
- 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
[prev]
[next]