index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
common.mli
Commit message (
Expand
)
Author
Age
*
BIG MAJ Extraction:
letouzey
2003-04-16
*
plus d'environment fixe cur_env mais un environment evolutif
letouzey
2003-02-02
*
Extraction des modules, enfin !
letouzey
2003-01-22
*
chamboulement du codage des indcutifs extraits; deplacements des tables; ...
letouzey
2002-12-09
*
code cleanup (+ debut de commencement de modules)
letouzey
2002-12-05
*
Remaniement du pp, suite: vers un renommage modulaire correcte
letouzey
2002-11-28
*
suite chgt liƩs aux modules
letouzey
2002-09-24
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Gros Remaniement Extraction:
letouzey
2002-07-16
*
extraction vers scheme
letouzey
2002-06-07
*
babioles de renommages
letouzey
2002-04-08
*
cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...
letouzey
2002-03-05
*
Big commit extraction:
letouzey
2002-03-04
*
qq inline manuels (sigS_rec ...) + utilisation de library_part
letouzey
2002-02-14
*
correction de bugs concernant la gestion des modules. debranchement du test d...
letouzey
2001-12-10
*
petit oups
letouzey
2001-11-12
*
GROS COMMIT:
barras
2001-11-05
*
Creation de Recursive Extarction Module
letouzey
2001-11-03
*
Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...
letouzey
2001-10-26