index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
extraction
/
Extraction.v
Commit message (
Expand
)
Author
Age
*
Big commit extraction:
letouzey
2002-03-04
*
typo
letouzey
2001-11-09
*
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
*
chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...
letouzey
2001-10-22
*
travail sur le Extract Constant
letouzey
2001-09-18
*
mise en place extraction haskell
filliatr
2001-05-14
*
Changement de la structure des points fixes
barras
2001-05-03
*
réparation Correctness; options Extraction (changement de syntaxe)
filliatr
2001-04-10
*
branchement extraction en standard (pas de Require)
filliatr
2001-04-09
*
mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4
filliatr
2001-04-05
*
commandes Extract Constant/Inductive; message d'erreur pour les axiomes
filliatr
2001-04-03
*
utilisation de Options.if_verbose
filliatr
2001-04-03
*
extraction modulaire + environnement des Fix corrigé
filliatr
2001-03-30
*
changement type_var et signature
filliatr
2001-03-28
*
conservation des arguments dans Prop (snif)
filliatr
2001-03-27
*
extraction recursive d'un morceau d'environnement
filliatr
2001-03-27
*
extraction naive de fix et case
filliatr
2001-03-20
*
entetes
filliatr
2001-03-15
*
extraction des types et des inductifs
filliatr
2001-02-22
*
nouveau design ou le renommage sera fait a posteriori
filliatr
2001-02-21