| Age | Commit message (Expand) | Author |
|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-01-14 | Fixing #1960 (xml bug with external on goal variable) and #1961 | herbelin |
| 2008-12-19 | Nettoyage des variables Coq et amélioration de coqmktop. Les | notin |
| 2008-05-30 | Improvements on coqdoc by adding more information into .glob | msozeau |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-08-27 | Suppression des type_app et body_of_type qui alourdissent inutilement le code | herbelin |
| 2007-06-21 | Correction de plusieurs bugs de l'export XML (utilisation d'un type de | herbelin |
| 2006-10-28 | Extension du polymorphisme de sorte au cas des définitions dans Type. | herbelin |
| 2006-10-03 | Détection ocaml 3.09 des variables non utilisées (trop peu pour solliciter ... | herbelin |
| 2006-07-18 | Correction bug #1192 | notin |
| 2006-07-07 | Correction bug 1172 + correction en passant de la taille des paramètres de f... | herbelin |
| 2006-05-23 | Nouvelle implantation du polymorphisme de sorte pour les familles inductives | herbelin |
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2006-01-28 | Réorganisation de la structure interne des types de déclarations (decl_kinds) | herbelin |
| 2005-12-02 | Changement des named_context | gregoire |
| 2005-11-02 | Types inductifs parametriques | mohring |
| 2005-02-18 | Standardisation of function names about structures | herbelin |
| 2005-01-14 | Inductive.{type_of_inductive,type_of_constructor,arities_of_specif} changed | sacerdot |
| 2004-12-03 | Orthographe! | herbelin |
| 2004-11-16 | IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name). | sacerdot |
| 2004-10-11 | Suppression IsConjecture redondant avec Conjectural | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-07-08 | * <style>...</style> tag no longer generated for theory files | sacerdot |
| 2004-07-05 | Constants just after a "Let id : t. ... Qed" local variable declaration were | sacerdot |
| 2004-06-30 | updated printing of evar context (may loop ?) | corbinea |
| 2004-06-26 | Licence changed from GPL to Lesser GPL. | sacerdot |
| 2004-04-07 | Copyright notice of files in contrib/xml made uniform. | sacerdot |
| 2004-04-07 | Coqdoc backtrack: HTML special characters are no longer quoted inside # ... #; | sacerdot |
| 2004-04-06 | Important bug fix: since coqdoc is now quoting XML reserved characters in | sacerdot |
| 2004-04-05 | Since coqdoc produces (X)HTML, HTML character entities can be used | sacerdot |
| 2004-04-04 | ** WARNING ** | sacerdot |
| 2004-04-01 | LocalFact added as a choice for the "as" attribute of ht:VARIABLE in the | sacerdot |
| 2004-04-01 | Big bug fixed: interactive local definitions where handled as constants | sacerdot |
| 2004-04-01 | Output of theory files reimplemented using Buffer. | sacerdot |
| 2004-04-01 | ~keep_sections was now redundant. Got rid of. | sacerdot |
| 2004-03-31 | En mode batch, recuperation via Declare de l'information si un inductive est ... | herbelin |
| 2004-03-30 | *** WARNING: DTD Change *** | sacerdot |
| 2004-03-30 | declare_internal_constant behaved as declare_constant for proofs (e.g. | sacerdot |
| 2004-03-30 | No longer used (and probably no longer working) code removed. | sacerdot |
| 2004-03-30 | Added a <br/> after "Require ...". | sacerdot |
| 2004-03-30 | Renommage | herbelin |
| 2004-03-30 | Distinction entre declarations internes (p.ex. _subproof) et declarations uti... | herbelin |
| 2004-03-30 | Fabrication de l'uri a partir du path utilisateur | herbelin |
| 2004-03-29 | Retrait debogage | herbelin |
| 2004-03-29 | Export du type de preuve en cours pour xml | herbelin |
| 2004-03-29 | Debug prints removed. | sacerdot |
| 2004-03-29 | Export Require | herbelin |
