index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
mltop.ml4
Commit message (
Expand
)
Author
Age
*
*** empty log message ***
barras
2003-03-12
*
Chargement dynamique de .cma
delahaye
2003-02-13
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
Meilleure gestion de la reduction dans Field
delahaye
2002-03-17
*
compat ocaml 3.03
filliatr
2001-12-13
*
Oops
barras
2001-11-05
*
GROS COMMIT:
barras
2001-11-05
*
Abstraction de l'immplementation de dirpath et implementation dans l'autre se...
herbelin
2001-10-17
*
Amélioration mise en page Print ML Module et Print ML Module
herbelin
2001-10-17
*
On ignore les répertoires qui ne correspondent pas à des idents
herbelin
2001-09-20
*
Protection hd d'une liste vide
herbelin
2001-09-19
*
Parsing
herbelin
2001-08-10
*
amelioration des messages d'erreurs vis a vis des evars
barras
2001-05-23
*
utilisation de Options.if_verbose
filliatr
2001-04-03
*
entetes
filliatr
2001-03-15
*
Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir
herbelin
2001-02-07
*
load_path_entry structure simplified; field relative_subdir renamed to coq_di...
sacerdot
2000-11-29
*
Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...
herbelin
2000-11-29
*
certains effets disparaissent a la sortie des sections, d'autres non (selon S...
filliatr
2000-11-24
*
- coqc: utilise le meilleur coq possible
filliatr
2000-11-24
*
methode export
filliatr
2000-11-15
*
nouveau load path
filliatr
2000-11-08
*
g_natsyntax et g_zsyntax maintenant toujours linkes
filliatr
2000-10-27
*
modules
filliatr
1999-12-12
*
premier debugage
filliatr
1999-12-05
*
compilation native
filliatr
1999-12-03