index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
profile.ml
Commit message (
Expand
)
Author
Age
*
Make usages of the Obj module explicit
glondu
2009-11-13
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
pas besoin de List.length pour savoir si une liste est vide
letouzey
2005-08-19
*
Nouvelle en-tête
herbelin
2004-07-16
*
Bug
herbelin
2001-08-10
*
Prise en compte des strings et des flottants dans les statistiques de tailles...
herbelin
2001-08-10
*
Nouveau profiler compatible avec ocaml >= 3.01
herbelin
2001-08-05
*
MAJ vis à vis de ocaml 3.01
herbelin
2001-08-01
*
amelioration de la consommation memoire de la conversion en eta-expansant
barras
2001-03-23
*
entetes
filliatr
2001-03-15
*
passage ocaml 3.01
filliatr
2001-03-13
*
Bugs encore
herbelin
2001-01-19
*
Raffinements
herbelin
2001-01-15
*
Petit bug encore
herbelin
2001-01-14
*
Bien sûr: bugs sur précédent commit; améliorations
herbelin
2001-01-14
*
Prise en compte de l'allocation mémoire et affichage des résultats net du s...
herbelin
2001-01-14
*
modules profile, Coqinit et Coqtop (=main)
filliatr
1999-12-03