index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
...
*
Ajout option_fold_left2
herbelin
2002-11-20
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Nouvelle option -xml à coqtop pour compiler un développement en
herbelin
2002-11-05
*
Ajout optino_iter
herbelin
2002-10-14
*
Bug affichage du chiffre 0
herbelin
2002-10-13
*
Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...
herbelin
2002-10-13
*
Lazy manuelles dans le code
coq
2002-10-07
*
Lazy experimentale temporaire...
coq
2002-10-05
*
retablissement de Correctness (pas encore teste' cependant)
filliatr
2002-09-18
*
Réintroduction de l'expansion des variables de shell et de '~' dans les
herbelin
2002-09-16
*
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
*
Changement Filename.is_relative en Filename.is_implicit, plus pertinent
herbelin
2002-05-27
*
Amélioration des messages d'erreurs concernant l'inférence des implicites
herbelin
2002-04-10
*
ajout option_compare
herbelin
2002-02-28
*
- Reforme de la gestion des args recursifs (via arbres reguliers)
barras
2002-02-14
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
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
*
Le chargement des coercions est nécessaire même si le module n'est pas ouvert
herbelin
2002-01-18
*
code redondant avec is_verbose
herbelin
2002-01-18
*
Ajout flush
herbelin
2002-01-10
*
reparation du make depend et du .depend
letouzey
2001-12-19
*
compat ocaml 3.03
filliatr
2001-12-13
*
nouvel algo de conversion plus uniforme
barras
2001-11-29
*
Nouvelle fonction
herbelin
2001-10-17
*
Suppression option immediate_discharge; nettoyage de Declare et conséquences
herbelin
2001-10-11
*
Transparent
barras
2001-09-20
*
On ignore les répertoires invisibles dans all_subdirs
herbelin
2001-09-20
*
Bug
herbelin
2001-08-10
*
Prise en compte des strings et des flottants dans les statistiques de tailles...
herbelin
2001-08-10
*
Parsing
herbelin
2001-08-10
*
Nouveau profiler compatible avec ocaml >= 3.01
herbelin
2001-08-05
*
MAJ vis à vis de ocaml 3.01
herbelin
2001-08-01
*
option -quality
filliatr
2001-05-28
*
nettoyage extraction
filliatr
2001-05-09
*
quelques bug reports mineurs
barras
2001-05-07
*
Changement de la structure des points fixes
barras
2001-05-03
*
*** empty log message ***
courant
2001-04-19
*
array_fold_left_i
filliatr
2001-04-05
*
utilisation de Options.if_verbose
filliatr
2001-04-03
*
amelioration de la consommation memoire de la conversion en eta-expansant
barras
2001-03-23
*
entetes
filliatr
2001-03-15
*
passage ocaml 3.01
filliatr
2001-03-13
*
Ajout list_map3
herbelin
2001-03-12
*
protection contre certaines exceptions levees par marshal_{in,out}
barras
2001-03-09
*
EAutod (debug)
filliatr
2001-03-06
*
module Explore générique et réécriture EAuto avec ce module; occur check ...
filliatr
2001-03-05
*
export open_trapping_failure pour contrib/extraction
filliatr
2001-02-26
*
Mise en place d'un système optionnel de discharge immédiat; prise en compte...
herbelin
2001-02-14
[prev]
[next]