index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
Commit message (
Expand
)
Author
Age
*
Changement des named_context
gregoire
2005-12-02
*
Added subtac contrib.
coq
2005-05-25
*
Ajout constant printer
herbelin
2005-02-18
*
Added bigint printer
herbelin
2005-02-18
*
Réactivation d'un outil d'affichage pour le débogueur compatible avec ocaml...
herbelin
2005-01-02
*
Découpage des printers pour ne pas avoir de dépendances en la vm dans les p...
herbelin
2005-01-02
*
Remplacement ocamldebug-v7 par lien symbolique ne marche pas, finalement, crÃ...
herbelin
2004-12-31
*
Remplacement ocamldebug-v7 par ocamldebug-coq (2ème)
herbelin
2004-12-31
*
Ajout printer bigint
herbelin
2004-12-29
*
MAJ coq v8
herbelin
2004-12-23
*
MAJ coq v8
herbelin
2004-12-23
*
Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8)
herbelin
2004-12-23
*
Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8
herbelin
2004-12-23
*
IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).
sacerdot
2004-11-16
*
Changement dans les boxed values .
gregoire
2004-11-12
*
COMMITED BYTECODE COMPILER
barras
2004-10-20
*
restructuration des printers: proofs passe avant parsing
barras
2004-09-17
*
hiding the meta_map in evar_defs
barras
2004-09-15
*
unification encore...
barras
2004-09-08
*
Header V8
herbelin
2004-08-03
*
Nouvelle en-tête
herbelin
2004-07-16
*
Ajout affichage contexte local
herbelin
2004-03-15
*
Generating of annotations added to Makefile.dir
coq
2004-02-23
*
MAJ
herbelin
2003-12-13
*
MAJ
herbelin
2003-12-13
*
Correction du bug 335 et Export/Require Export dans un module
coq
2003-10-07
*
MAJ
herbelin
2003-09-22
*
Divers
herbelin
2003-09-12
*
MAJ
herbelin
2003-09-09
*
MAJ
herbelin
2003-09-06
*
*** empty log message ***
herbelin
2003-09-03
*
Mémo nouvelle syntaxe
herbelin
2003-08-11
*
prettyprint des constr_substituted + un wrapping de prglobal pour qu'il n'ech...
letouzey
2003-04-16
*
Ajout translate
herbelin
2003-04-07
*
Globalisation tactiques
herbelin
2003-04-07
*
Options d'affichage maintenant dans Constrextern
herbelin
2003-04-07
*
Ajout translate
herbelin
2003-03-18
*
Petites modifs de mes super-Makefiles ;)
coq
2003-03-07
*
Ajout pptac
herbelin
2003-01-19
*
Ajout affichage fconstr
herbelin
2002-12-05
*
Ajout interp
herbelin
2002-11-24
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
ajout d'un printer pour les global_reference
letouzey
2002-11-04
*
Lazy experimentale temporaire...
coq
2002-10-05
*
Cool dev/Makefile's
coq
2002-10-01
*
La notation with dependante + affichage dependante de moduels corrige
coq
2002-09-20
*
Ajout contribs manquantes
herbelin
2002-09-13
*
Pretty-printing preliminaire des modules, commandes
coq
2002-08-19
*
AutoRewrite substitutive...
coq
2002-08-13
*
Petites corrections ici et la
coq
2002-08-13
[next]