index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
correctness
/
putil.ml
Commit message (
Expand
)
Author
Age
*
Suppression de la partie ML de la contrib correctness. Les fichiers
herbelin
2008-04-29
*
Factorisation des opérations sur le type option de Util dans un module
aspiwack
2007-12-05
*
Standardisation nom option_app en option_map
herbelin
2006-04-27
*
Restructuration et simplification des fonctions d'affichage, de détypage
herbelin
2006-01-11
*
Nouvelle en-tête
herbelin
2004-07-16
*
Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern
herbelin
2003-05-19
*
Globalisation des noms de tactiques dans les définitions de tactiques
herbelin
2003-04-07
*
affichages avec prterm_env et non prterm; deb_print pour vraiment ne rien fai...
filliatr
2002-02-08
*
compat ocaml 3.03
filliatr
2001-12-13
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
GROS COMMIT:
barras
2001-11-05
*
Suppression des arguments sur les constantes, inductifs et constructeurs
barras
2001-10-09
*
renommage du module Pcoq.Vernac en Pcoq.Vernac_ pour contourner un bug d'ocam...
filliatr
2001-04-04
*
deux fichiers (past et ptype) uniquement sous forme de .mli
filliatr
2001-04-04
*
mise en place de Correctness (ne compile pas encore)
filliatr
2001-03-29