| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Some dead code removal + cleanups |  letouzey | 2009-04-08 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |
| * | Made the debugger work again: |  herbelin | 2009-01-02 |
| * | Nettoyage des variables Coq et amélioration de coqmktop. Les |  notin | 2008-12-19 |
| * | Integration of theories/Ints into theories/Numbers, part 3: fixing forgotten ... | letouzey | 2008-05-07 |
| * | Bugs, nettoyage, et améliorations diverses | herbelin | 2008-04-13 |
| * | some references to IntMap forgotten in last commit | letouzey | 2008-03-19 |
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... |  msozeau | 2007-12-31 |
| * | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey | 2007-12-13 |
| * | Plus de combinateurs sont passés de Util à Option. Le module Options |  aspiwack | 2007-12-06 |
| * | Modification de l'initialisation des chemins de la librairie standard | notin | 2007-08-20 |
| * | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin | 2005-12-26 |
| * | bug de coqide sous windows (bad file descriptor) |  barras | 2005-11-23 |
| * | Ajout récursif du répertoire COQLIB/user-contrib au chemin de chargement | herbelin | 2005-03-11 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | - fixed the Assert_failure error in kernel/modops | barras | 2004-02-18 |
| * | Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7... | herbelin | 2003-11-29 |
| * | Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs | herbelin | 2003-08-11 |
| * | fabrication de ide/utf8.vo | letouzey | 2003-05-23 |
| * | Ajout répertoire interp | herbelin | 2002-11-27 |
| * | compat ocaml 3.03 |  filliatr | 2001-12-13 |
| * | GROS COMMIT: | barras | 2001-11-05 |
| * | Abstraction de l'immplementation de dirpath et implementation dans l'autre se... | herbelin | 2001-10-17 |
| * | make install dans coq_makefile et repertoire associe user-contrib ajoute au l... | filliatr | 2001-09-19 |
| * | Parsing | herbelin | 2001-08-10 |
| * | amelioration des messages d'erreurs vis a vis des evars | barras | 2001-05-23 |
| * | *** empty log message *** |  courant | 2001-04-19 |
| * | utilisation de Options.if_verbose | filliatr | 2001-04-03 |
| * | entetes | filliatr | 2001-03-15 |
| * | bug Reset et Sections | filliatr | 2001-02-28 |
| * | Suppression warning no .coqrc | herbelin | 2001-02-08 |
| * | Meilleure approche du conflit path/freeze/library_root en séquentialisant la... | herbelin | 2001-02-07 |
| * | Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir | herbelin | 2001-02-07 |
| * | Bug installation non locale | herbelin | 2000-12-27 |
| * | Mini-nettoyage noms longs | herbelin | 2000-12-05 |
| * | Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch... | herbelin | 2000-11-29 |
| * | Remplacement des add_include par add_rec_include pour avoir le repertoire dan... | herbelin | 2000-11-28 |
| * | nouveau load path | filliatr | 2000-11-08 |
| * | Ajout d'un LetIn primitif. | herbelin | 2000-09-10 |
| * | - états fabriqués avec -silent | filliatr | 1999-12-13 |
| * | - erreurs Pretype | filliatr | 1999-12-10 |
| * | debug discharge et inductifs | filliatr | 1999-12-10 |
| * | initialisation load path (provisoire) | filliatr | 1999-12-06 |
| * | erreurs lexicales | filliatr | 1999-12-06 |
| * | modules profile, Coqinit et Coqtop (=main) | filliatr | 1999-12-03 |
glondu
letouzey
herbelin
notin
msozeau
aspiwack
barras
filliatr
courant