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
*
Application du patch de Michel Mauny pour pouvoir compiler en ocaml 3.08.1
herbelin
2004-08-24
*
Expansion du prédicat du 'match' vis à vis de la dépendance en le terme fi...
herbelin
2004-08-24
*
Prise en compte expansion du prédicat du 'match' vis à vis de la dépendanc...
herbelin
2004-08-24
*
Ajout nom standard mkLambda_name pour lambda_name (et idem pour prod)
herbelin
2004-08-24
*
Deplacement des fonctions de typage des predicate de Cases a la V7 de inducti...
herbelin
2004-08-24
*
Calling setoid_rewrite on a term H whose type (eq x y) was not an application
sacerdot
2004-08-24
*
maj
filliatr
2004-08-23
*
Précisions message d'erreur
herbelin
2004-08-23
*
Interpretation et affichage corrects des notations LetTuple, affichage des no...
herbelin
2004-08-23
*
Pas de notation v7 si purement en v8
herbelin
2004-08-23
*
Correction bug #830 : les noms des implicites temporaires étaient inconnus a...
herbelin
2004-08-23
*
The previous test file was truncated. New commit to fix the previous
sacerdot
2004-08-23
*
Amélioration message d'erreur objet de récursion de type non inductif
herbelin
2004-08-06
*
Apply implicit types to local binders too
herbelin
2004-08-06
*
Header V8
herbelin
2004-08-03
*
Protection contre un indice d'evar égal à 0
herbelin
2004-08-03
*
Zbool déjà dans ZArith_base
herbelin
2004-08-03
*
Minimisation utilisation NNPP
herbelin
2004-08-03
*
Déclaration d'obsolescence
herbelin
2004-08-03
*
Typo
herbelin
2004-08-03
*
Ref
herbelin
2004-08-03
*
Bug indexation des Require Import
herbelin
2004-08-03
*
Commentaires coqdoc
herbelin
2004-08-01
*
Commentaires coqdoc
herbelin
2004-08-01
*
Protection erreur find_eq_data dans decompEqThen et uniformisation messages d...
herbelin
2004-07-30
*
MAJ
herbelin
2004-07-30
*
Unbind the macosx dmg after creation to be able to build it again safely
herbelin
2004-07-30
*
maj
filliatr
2004-07-29
*
maj
filliatr
2004-07-29
*
Distinction location ocaml 3.08 ou pas (suite)
herbelin
2004-07-29
*
MAJ cible patch
herbelin
2004-07-29
*
Protection unloc
herbelin
2004-07-29
*
Distinction location ocaml 3.08 ou pas
herbelin
2004-07-29
*
Bug join_loc
herbelin
2004-07-29
*
maj
filliatr
2004-07-28
*
Bug tactique fix
herbelin
2004-07-28
*
maj
filliatr
2004-07-27
*
Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...
herbelin
2004-07-27
*
maj
filliatr
2004-07-26
*
maj
filliatr
2004-07-25
*
maj
filliatr
2004-07-25
*
Plus de pa_ifdef dans CAMLP4EXTENDFLAGS
herbelin
2004-07-24
*
maj
filliatr
2004-07-23
*
Several tests for the bug-fixed and improved new version of
sacerdot
2004-07-23
*
Major bug fixing and improvement of the setoid_{replace,rewrite} tactics:
sacerdot
2004-07-23
*
Since setoid_{replace,rewrite} now uses replace there is a circularity
sacerdot
2004-07-23
*
Setoid_replace.setoid_replace last argument (that was supposed to be always
sacerdot
2004-07-23
*
Setoid_replace.setoid_replace: last argument (that was supposed to be
sacerdot
2004-07-23
*
"Print Setoids" command added.
sacerdot
2004-07-23
*
"Show Setoids" command added.
sacerdot
2004-07-23
[next]