index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
.depend.coq
Commit message (
Expand
)
Author
Age
*
Ajout de Field
delahaye
2001-04-19
*
branchement extraction en standard (pas de Require)
filliatr
2001-04-09
*
Ajout lemmes arithmetiques
mohring
2001-04-08
*
mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4
filliatr
2001-04-05
*
Added two files that are used for the connection with the graphical user-inte...
bertot
2001-04-04
*
branchement extraction (bytecode seulement)
filliatr
2001-03-30
*
simplification du make depend; fonctions de stat. util. memoire dans certains...
filliatr
2001-02-08
*
calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)
filliatr
2001-02-05
*
mise a jour
filliatr
2000-11-29
*
MAJ
herbelin
2000-11-26
*
ajout de theories/Wellfounded
filliatr
2000-11-21
*
separation calcul des implicites et declaration des constantes / inductifs / ...
filliatr
2000-11-21
*
MAJ
herbelin
2000-11-20
*
mise a jour
filliatr
2000-11-15
*
Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...
herbelin
2000-11-10
*
Modification de la table des tactic Definitions pour eviter l'ecriture
mohring
2000-11-07
*
MAJ
herbelin
2000-11-05
*
Few OCaml files in contrib/xml
sacerdot
2000-11-03
*
ntrefiner.ml* removed in module xml
sacerdot
2000-10-26
*
xml contribution added to the Makefile
sacerdot
2000-10-25
*
mise a jour dependances
filliatr
2000-09-18
*
portage Refine
filliatr
2000-07-20
*
portage EAuto et Ring
filliatr
2000-06-21
*
mise a jour
filliatr
2000-06-12
*
portage Omega (mais toujours pas Zpower et Zlogarithm)
filliatr
2000-05-02
*
portage en ocaml / camlp4 3.00
filliatr
2000-04-28
*
Tauto
filliatr
2000-03-20
*
ZArith
filliatr
2000-03-18
*
bug discharge (work_alist contenanti plein de fois les memes choses)
filliatr
2000-03-18
*
compilation theories/Arith
filliatr
2000-03-10
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
Restructuration diverses
herbelin
2000-01-07
*
documentation
filliatr
1999-12-13