index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
miniml.mli
Commit message (
Expand
)
Author
Age
*
Changement de la structure des points fixes
barras
2001-05-03
*
commentaires mlutil + binders_fold en cours
letouzey
2001-04-30
*
Fin d'optimisation (cas modules) + warning pour coind & ocaml
letouzey
2001-04-24
*
cofix_warning dans les parametres d'extraction
filliatr
2001-04-24
*
Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.
letouzey
2001-04-23
*
documentation
filliatr
2001-04-04
*
changement type_var et signature
filliatr
2001-03-28
*
extraction recursive d'un morceau d'environnement
filliatr
2001-03-27
*
eta-expansion des constructeurs si necessaire (a posteriori en miniML)
filliatr
2001-03-23
*
entetes
filliatr
2001-03-15
*
interface du extract_rec. Extract_constr prend un environnement
letouzey
2001-03-14
*
Commentaires. Verification des assert false. Probleme des types ML arity.
letouzey
2001-03-12
*
distinction contexte et signature
filliatr
2001-03-07
*
ajout Vprop, Tprop et Eprop
filliatr
2001-02-26
*
extraction des types et des inductifs
filliatr
2001-02-22
*
nouveau design ou le renommage sera fait a posteriori
filliatr
2001-02-21
*
mise en place fichiers extraction
filliatr
2001-02-20
*
mise en place extraction
filliatr
2001-02-06