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