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
...
*
Erreur dépendance en Util lui-même
herbelin
2004-02-16
*
Ajout array_map_left and co
herbelin
2004-02-13
*
Localisation des erreurs d'internalisation des notations de tactiques
herbelin
2004-02-12
*
*** empty log message ***
barras
2003-12-31
*
Export string_index_from
herbelin
2003-11-26
*
Ajout projections de triplet
herbelin
2003-10-13
*
Bug PR#324
herbelin
2003-09-14
*
Ajout option_fold_right
herbelin
2003-08-10
*
Ajout fonctions de recherche de sous-chaines (merci a Jacek)
herbelin
2003-06-10
*
Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern
herbelin
2003-05-19
*
Ajout is_ident_tail
herbelin
2003-04-29
*
une fonction list_skipn qui zappe les n premiers elements d'une liste
letouzey
2003-04-16
*
test: un boolean et une fonction check_for_interrupt inseree dans la conversi...
filliatr
2003-04-08
*
A usage cosmetique
letouzey
2002-11-28
*
Ajout list_map_assoc
herbelin
2002-11-26
*
Ajout option_cons
herbelin
2002-11-24
*
Ajout option_fold_left2
herbelin
2002-11-20
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Ajout optino_iter
herbelin
2002-10-14
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
Amélioration des messages d'erreurs concernant l'inférence des implicites
herbelin
2002-04-10
*
ajout option_compare
herbelin
2002-02-28
*
ajout list_split3, pr_semicolon et pr_bar
herbelin
2002-01-30
*
List.map avec ordre des effets de bord garanti
herbelin
2002-01-18
*
compat ocaml 3.03
filliatr
2001-12-13
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
Nouvelle fonction
herbelin
2001-10-17
*
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
[prev]
[next]