index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
util.ml
Commit message (
Expand
)
Author
Age
*
Parsing
herbelin
2001-08-10
*
nettoyage extraction
filliatr
2001-05-09
*
Changement de la structure des points fixes
barras
2001-05-03
*
array_fold_left_i
filliatr
2001-04-05
*
entetes
filliatr
2001-03-15
*
Ajout list_map3
herbelin
2001-03-12
*
Restructuration
herbelin
2001-02-14
*
option -m (utilisation memoire)
filliatr
2001-02-09
*
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
*
Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...
herbelin
2001-01-31
*
Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)
herbelin
2000-12-06
*
Code mort
herbelin
2000-11-29
*
Prise en compte du repertoire dans le section path; utilisation de dirpath po...
herbelin
2000-11-28
*
Bug dans [prvecti v] quand v est vide
herbelin
2000-10-11
*
Ajout list_fold_right_and_left
herbelin
2000-06-29
*
portage EAuto et Ring
filliatr
2000-06-21
*
Ajout du langage de tactiques
delahaye
2000-05-03
*
Ajout matrix_transpose
herbelin
2000-03-07
*
gros commit de tout ce que j'ai fait pendant les vacances :
filliatr
2000-01-21
*
debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes
filliatr
1999-12-07
*
declarations eliminations / debuggae inductifs (debut)
filliatr
1999-12-06
*
- global_reference traite des variables
filliatr
1999-12-03
*
modifs pour premiere edition de liens
filliatr
1999-12-02
*
poursuite de Vernacentries
filliatr
1999-12-01
*
prvecti
filliatr
1999-11-26
*
module Termast
filliatr
1999-11-26
*
Vernacinterp et Vernacentries (partiellement)
filliatr
1999-11-24
*
Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations
filliatr
1999-11-24
*
modules Indrec, Tacentries, Hiddentac
filliatr
1999-11-23
*
module Wcclausenv
filliatr
1999-11-22
*
module Pattern, Wcclausenv (interface) et Tacticals
filliatr
1999-11-19
*
modules Bij, Gmapl, Stock
filliatr
1999-11-19
*
- module Redinfo dans library/ pour les constantes d'élimination
filliatr
1999-10-22
*
- documentation repertoire proofs/
filliatr
1999-10-20
*
modules Evar_refiner et Typing_ev
filliatr
1999-10-20
*
module Refiner
filliatr
1999-10-19
*
mise en place module Refiner
filliatr
1999-10-18
*
- re-introduction d'une evar_map dans unsafe_env
filliatr
1999-10-13
*
module Bstack et Edit
filliatr
1999-09-28
*
ajout de divers fonctions dans lib/
filliatr
1999-09-28
*
simplifications de code
filliatr
1999-09-09
*
implode codé avec String.concat
filliatr
1999-09-09
*
time stamps dans System
filliatr
1999-09-08
*
mise en place commandes minicoq
filliatr
1999-09-07
*
mise en place repertoire test-suite/, toplevel/, parsing/
filliatr
1999-09-06
*
modules Libobject et Summary (partiel)
filliatr
1999-09-03
*
module Coqast
filliatr
1999-08-26
*
mach et himsg; typage sans extraction
filliatr
1999-08-24
*
module Reduction (fin)
filliatr
1999-08-18
[next]