| Commit message (Expand) | Author | Age |
|---|
| * | [Sphinx] Move chapter 23 to new infrastructure |  Maxime Dénès | 2018-03-29 |
| * | use \ocaml macro in Extraction chapter; accept OCaml in Extraction Language |  Paul Steckler | 2017-12-05 |
| * | use \ocaml macro in new text | Paul Steckler | 2017-11-28 |
| * | use OCaml criteria for infix ops, #6212 |  Paul Steckler | 2017-11-22 |
| * | Avoid generated names for html pages of the reference manual (bug #4742). |  Guillaume Melquiond | 2017-09-22 |
| * | Merge PR #934: Fix some coq-tex errors in the reference manual. | Maxime Dénès | 2017-08-16 |
| |\ |
|
| | * | Fix some coq-tex errors in the reference manual. | Guillaume Melquiond | 2017-07-28 |
| * | | Extraction.tex: mention the possible "From Coq Require Extraction" |  letouzey | 2017-07-27 |
| * | | Extraction TestCompile documented + mentionned in CHANGES | Pierre Letouzey | 2017-07-27 |
| |/ |
|
| * | Prelude : no more autoload of plugins extraction and recdef | Pierre Letouzey | 2017-06-14 |
| * | Merge branch 'v8.5' |  Pierre-Marie Pédrot | 2016-06-27 |
| |\ |
|
| | * | Reference Manual / Extraction: the original example command no longer works w... |  Matej Kosik | 2016-06-20 |
| * | | typography | Matej Kosik | 2016-06-15 |
| |/ |
|
| * | Extraction: documentation of the new option Unset Extraction SafeImplicits | Pierre Letouzey | 2015-12-12 |
| * | Fix typos in the Extraction part of the reference manual. | Guillaume Melquiond | 2015-07-31 |
| * | Separate index for vernacular options. | Maxime Dénès | 2015-02-17 |
| * | Fix some documentation typos. | Guillaume Melquiond | 2015-01-08 |
| * | refman: switch all source files to utf8 | Pierre Letouzey | 2014-12-09 |
| * | "allows to", like "allowing to", is improper |  Jason Gross | 2014-08-25 |
| * | Add option Set/Unset Extraction Conservative Types. |  aspiwack | 2012-08-24 |
| * | Extraction: document Separate Extraction and KeepSingleton |  letouzey | 2012-08-23 |
| * | Extraction.tex: typo in an Extract Inductive example (fix #2625) | letouzey | 2011-10-18 |
| * | doc/refman/Extraction.tex: no need to actually build euclid.ml | letouzey | 2011-09-17 |
| * | Update of Extraction documentation | letouzey | 2010-06-14 |
| * | Extraction Implicit: documentation | letouzey | 2010-06-14 |
| * | Extract Inductive is now possible toward non-inductive types (e.g. nat => int) | letouzey | 2010-05-21 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Removed 'Toplevel' language from extraction documentation, since it is not cu... |  gmelquio | 2009-11-04 |
| * | Fixed some typos in the reference manual. | gmelquio | 2009-10-29 |
| * | typo in doc of Extraction Blacklist | letouzey | 2009-10-15 |
| * | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |
| * | Extraction Blacklist : a new command for avoiding conflicts with existing files | letouzey | 2008-12-16 |
| * | Standardisation du format des références croisées vers Figure, Section, Ch... |  herbelin | 2008-01-05 |
| * | documentation of commit 10188 | letouzey | 2007-10-08 |
| * | Modification des propriétés des fichiers .tex (svn:executable) |  notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty | 2006-02-24 |
| * | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin | 2006-02-23 |
Maxime Dénès
Paul Steckler
Paul Steckler
Guillaume Melquiond
letouzey
Pierre-Marie Pédrot
Matej Kosik
Jason Gross
aspiwack
letouzey
gmelquio
herbelin
notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty