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
*
- Fixed minor bug #1994 in the tactic chapter of the manual [doc]
herbelin
2008-11-22
*
Remove calls to Dynlink.add_{interfaces,available_units} altogether
glondu
2008-10-29
*
Native "Declare ML Module" when possible
glondu
2008-10-28
*
Uniformisation du format des messages d'erreur (commencent par une
herbelin
2008-07-17
*
Lissage de la gestion des chemins de chargement de fichiers :
herbelin
2008-06-29
*
Plus de combinateurs sont passés de Util à Option. Le module Options
aspiwack
2007-12-06
*
* Adding compability with ocaml 3.10 + camlp5 (rework of
letouzey
2007-09-15
*
New bootstrapping, improved, Makefile system
corbinea
2007-07-13
*
Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de
herbelin
2006-11-21
*
Nettoyage et documentation de Library
herbelin
2005-02-06
*
Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06
herbelin
2004-07-17
*
Branchement sur pa_macro, pa_ifdef devenant obsolete en 3.08
herbelin
2004-07-16
*
Nouvelle en-tête
herbelin
2004-07-16
*
Correction du bug 335 et Export/Require Export dans un module
coq
2003-10-07
*
Reparation plus juste de l'inefficacite avec loaded_modules (respecte l'ordre)
herbelin
2003-10-04
*
Correction bug explosion de la taille de la liste loaded_modules
herbelin
2003-10-03
*
*** 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