| Commit message (Expand) | Author | Age |
|---|
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Fixed anomaly when trying to load non existing file starting with "./" or "../". |  herbelin | 2009-07-08 |
| * | Backporting from v8.2 to trunk: | herbelin | 2009-01-18 |
| * | - coq_makefile: target install now respects the original tree structure | herbelin | 2008-12-24 |
| * | - Fixed minor bug #1994 in the tactic chapter of the manual [doc] | herbelin | 2008-11-22 |
| * | Fichiers oubliés lors du 11188 :-( | herbelin | 2008-06-30 |
| * | implements a better way to respect the Unix convention that processes receive... |  bertot | 2008-01-11 |
| * | Correction d'un bug dans check_and_warn |  notin | 2007-08-28 |
| * | Ajout d'un warning losrqu'un nom de bibliothèque est ambigü | notin | 2007-08-22 |
| * | Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms de | herbelin | 2006-11-21 |
| * | Correction bug #990 (LoadPath et option -R de coqide | notin | 2006-05-30 |
| * | bug de coqide sous windows (bad file descriptor) |  barras | 2005-11-23 |
| * | Déplacement de fonctionnalités unix et browser de ide vers lib | herbelin | 2005-05-19 |
| * | Bug synchronisation fonction connect | herbelin | 2005-02-04 |
| * | Ajout d'un processus de communication entre Coq et un outil externe | herbelin | 2005-02-04 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | un argument booleen inutilisé dans expand_macros |  letouzey | 2004-05-08 |
| * | 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 |
| * | Changement Filename.is_relative en Filename.is_implicit, plus pertinent | herbelin | 2002-05-27 |
| * | Ajout flush | herbelin | 2002-01-10 |
| * | compat ocaml 3.03 | filliatr | 2001-12-13 |
| * | On ignore les répertoires invisibles dans all_subdirs | herbelin | 2001-09-20 |
| * | Parsing | herbelin | 2001-08-10 |
| * | entetes | filliatr | 2001-03-15 |
| * | protection contre certaines exceptions levees par marshal_{in,out} | barras | 2001-03-09 |
| * | Retire le warning stat |  mohring | 2001-02-02 |
| * | Ajout flush, divers | herbelin | 2001-01-24 |
| * | Protection contre l'échec de Unix.stat | herbelin | 2001-01-24 |
| * | load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa |  sacerdot | 2000-11-29 |
| * | Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch... | herbelin | 2000-11-29 |
| * | Hack pour contourner CVS en local dans la recherche rcursive de load_path | herbelin | 2000-11-28 |
| * | Prise en compte du repertoire dans le section path; utilisation de dirpath po... | herbelin | 2000-11-28 |
| * | Changed the semantics of AddRecPath. | sacerdot | 2000-11-15 |
| * | all_subdirs teste si son argument est un repertoire; sinon ne fait rien | filliatr | 2000-11-09 |
| * | nouveau load path | filliatr | 2000-11-08 |
| * | nouveau discharge fait par le noyau; plus de recettes dans les corps des cons... | filliatr | 2000-11-06 |
| * | Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path | herbelin | 2000-09-10 |
| * | bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo... | filliatr | 2000-06-21 |
| * | modules et coqc | filliatr | 1999-12-12 |
| * | modules profile, Coqinit et Coqtop (=main) | filliatr | 1999-12-03 |
| * | poursuite de Vernacentries | filliatr | 1999-12-01 |
| * | Vernacinterp et Vernacentries (partiellement) | filliatr | 1999-11-24 |
| * | module Library | filliatr | 1999-09-18 |
| * | modules System, Lib et States | filliatr | 1999-09-10 |
| * | time stamps dans System | filliatr | 1999-09-08 |
glondu
herbelin
bertot
notin
barras
letouzey
coq
filliatr
mohring
sacerdot