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
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9188 85f007b7-540e-04...
barras
2006-09-29
*
separation de RealField
barras
2006-09-28
*
Suppression des lignes vides dans l'affichage des scripts
notin
2006-09-28
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9185 85f007b7-540e-04...
barras
2006-09-28
*
Add dependent list combinators test.
msozeau
2006-09-28
*
Makefile : COQLIB -> FULLCOQLIB
corbinea
2006-09-28
*
Detection des paramettres pour les Functions bien fondees
jforest
2006-09-27
*
petits pbs de dependances
barras
2006-09-26
*
Compilation newring
notin
2006-09-26
*
commit de field + renommages
barras
2006-09-26
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
fixed error mesg in decl mode
corbinea
2006-09-26
*
Corrections mineures
notin
2006-09-25
*
Permet a un unfold de recevoir ses occurences a travers une variable Ltac.
letouzey
2006-09-25
*
Tentative d'amélioration du message d'erreur en cas de paramètre non laissé
herbelin
2006-09-24
*
Correction bug dans détection clause "in" mal formée quand le "in" est
herbelin
2006-09-24
*
Correction d'un bug de coercion de pattern introduit dans la 8.1beta
herbelin
2006-09-23
*
Correction bug #1168 (dans les coercions de pattern, c'est le nombre
herbelin
2006-09-23
*
Correction bug #1179 (result of Notation.decompose_notation_key in wrong order
herbelin
2006-09-23
*
Wish #1187 granted (support for canonical structures that are records
herbelin
2006-09-23
*
Correction bug #1229 (toplevel "unresolved evar" fled through
herbelin
2006-09-23
*
Déplacement surround dans util.ml et parenthésage des déclarations
herbelin
2006-09-23
*
- Correction filtrage des notations impliquant un "match" : la présence
herbelin
2006-09-23
*
Protection List.fold_left2 (cf bug #1224)
herbelin
2006-09-22
*
Tout petit bug d'affichage dans constr_display (top_printers)
herbelin
2006-09-22
*
Test Tactic Notation
herbelin
2006-09-22
*
Ajout d'une valeur VList dans tacinterp pour permettre de cabler des
herbelin
2006-09-22
*
doc du nouveau ring
barras
2006-09-22
*
Visibilité des Rewrite Hint dès le chargement du module, sans nécessiter s...
herbelin
2006-09-21
*
incomplete and temporary fix for PR#1222: revert accepts up to 10 args
letouzey
2006-09-21
*
better scope/require managment (patch by Russel O'Connor)
letouzey
2006-09-21
*
Declarative Proof Language: main commit
corbinea
2006-09-20
*
congruence doc update
corbinea
2006-09-20
*
Gestion des arguments implicites dans les Functions bien fondees
jforest
2006-09-19
*
added congruence improvement
corbinea
2006-09-19
*
correction of bug #1220
jforest
2006-09-18
*
Correction du bug #1215
notin
2006-09-18
*
Message modification in Function
jforest
2006-09-16
*
Compatibilité hyp=var dans Tactic Notation + nettoyage
herbelin
2006-09-15
*
Minor bug correction in well-founded Function.
jforest
2006-09-15
*
MAJ
herbelin
2006-09-15
*
Report de l'heuristique d'unification premier ordre flexible/rigide
herbelin
2006-09-15
*
Débogage: ajout affichage contraintes d'unification
herbelin
2006-09-15
*
Bug dans configure (test best_compiler)
notin
2006-09-14
*
Correction du bug #1181
jforest
2006-09-14
*
Compilation de Coq sous Windows
notin
2006-09-14
*
mise en conformite des messages d'erreur de Function avec la doc.
jforest
2006-09-14
*
Modification de l'appel aux exécutables Caml
notin
2006-09-14
*
Abandon unification pattern des evars dans apply: combiné avec le
herbelin
2006-09-13
*
Indentation + svnprop
notin
2006-09-12
[next]