| Age | Commit message (Expand) | Author |
|---|
| 2014-04-08 | Add an option -Q (tentative name). | Guillaume Melquiond |
| 2014-04-06 | Change handling of loadpath and mlpath. | Guillaume Melquiond |
| 2014-03-06 | Lets coqtop use a slash | Virgile Prevosto |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-03-13 | Restrict (try...with...) to avoid catching critical exn (part 13) | letouzey |
| 2013-02-19 | Dir_path --> DirPath | letouzey |
| 2013-02-18 | Updating the backtrace handling mechanism to accomodate the new | ppedrot |
| 2013-01-28 | Actually adding backtrace handling. | ppedrot |
| 2013-01-28 | Added backtrace information to anomalies | ppedrot |
| 2012-12-14 | Modulification of dir_path | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-12-08 | Ensure that a function declared with a label is used with it | letouzey |
| 2012-11-26 | Monomorphization (toplevel) | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 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 |
