| Age | Commit message (Expand) | Author |
|---|
| 2017-07-19 | [general] Move files to directories matching linking order. | Emilio Jesus Gallego Arias |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2016-08-20 | More standard naming for the Imparg.with_implicits function. | Pierre-Marie Pédrot |
| 2016-08-19 | Removing dead code in Impargs. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-10-13 | Fix some typos. | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-11-27 | Reverting the following block of three commits: | Hugo Herbelin |
| 2014-11-26 | Registering strict implicit arguments systematically. | Hugo Herbelin |
| 2014-05-06 | Fix printing of projections with implicits. | Matthieu Sozeau |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2014-03-05 | Remove many superfluous 'open' indicated by ocamlc -w +33 | Pierre Letouzey |
| 2014-03-01 | Fixing pervasive comparisons | Pierre-Marie Pédrot |
| 2012-12-18 | Modulification of name | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-05-29 | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey |
| 2012-05-29 | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | letouzey |
| 2011-11-21 | New Arguments vernacular | gareuselesinge |
| 2011-02-10 | More comments and less doublons in some mli | pboutill |
| 2010-10-05 | Export definition of type implicits_list for contribs + fixed a | herbelin |
| 2010-10-03 | Added multiple implicit arguments rules per name. | herbelin |
| 2010-10-03 | Dead code in impargs (afaics, no more need, since r11242, to merge | herbelin |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-06-22 | New script dev/tools/change-header to automatically update Coq files headers. | herbelin |
| 2010-04-29 | Various minor improvements of comments in mli for ocamldoc | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-29 | Move from ocamlweb to ocamdoc to generate mli documentation | pboutill |
| 2009-10-21 | This big commit addresses two problems: | soubiran |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-06-26 | Add doc for [Print Opaque Dependencies] and a better explanation for the | msozeau |
| 2009-05-27 | Stop using a "Manual Implicit Arguments" flag and support them as soon | msozeau |
| 2009-03-28 | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau |
| 2008-09-14 | In manual implicit arguments mode, do not enrich implicits | msozeau |
| 2008-07-22 | Correct implementation of discharging of implicit arguments and add new | msozeau |
| 2008-07-04 | Fixes in handling of implicit arguments: | msozeau |
| 2008-04-02 | Add the ability to specify the implicit status of section variables and | msozeau |
| 2008-03-15 | Do a second pass on the treatment of user-given implicit arguments. Now | msozeau |
| 2008-01-02 | Implicit arguments in class field declarations | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-05-06 | Nouveaux changements autour des implicites (notamment suite à | herbelin |
| 2007-04-29 | Multiples changements autour des implicites : | herbelin |
| 2007-01-10 | Nouvelle approche pour le discharge modulaire | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-02-18 | Moving centralised discharge into dispatched discharge_function; required to ... | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-09-23 | Utilisation de noms dans 'Implicit Arguments [...]' | herbelin |
| 2003-09-21 | Mise en place d'implicites par noms en v8 | herbelin |
| 2003-04-10 | Affichage forcé des implicites contextuels si pas de contexte connu | herbelin |
| 2003-04-09 | Synchronisation séparée des implicites pour l'affichage du traducteur; | herbelin |
