| Age | Commit message (Expand) | Author |
|---|
| 2012-07-05 | Notation: a new annotation "compat 8.x" extending "only parsing" | letouzey |
| 2012-06-01 | Getting rid of Pp.msgnl and Pp.message. | ppedrot |
| 2012-05-29 | place all pretty-printing files in new dir printing/ | letouzey |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
| 2011-11-21 | /home/pirbo/.coqrc* are read again | pboutill |
| 2011-11-21 | -user option removal | pboutill |
| 2011-11-20 | coqrc in the right XDG_CONFIG_HOME/coq folder | pboutill |
| 2011-11-20 | Add support for XDG_DATA_HOME and XDG_DATA_DIRS. | pboutill |
| 2011-09-27 | In Coq_config: get rid of coqsrc and make coqlib optional | glondu |
| 2011-04-14 | Add directories in COQPATH to search path. | herbelin |
| 2011-04-14 | Reorder search path order, so the standard library is search last. | herbelin |
| 2010-12-10 | First release of Vector library. | pboutill |
| 2010-11-02 | Move stuff about positive into a distinct PArith subdir | letouzey |
| 2010-09-28 | Fix function applications without labels (OCaml warning 6) | glondu |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 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 |
