aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
...
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
| * Minor edits in output of coqdep --help.Gravatar Maxime Dénès2016-01-15
| * Fix #4408.Gravatar Pierre Courtieu2016-01-15
| * Partially fixing #4408: coqdep --help is up to date.Gravatar Pierre Courtieu2016-01-15
* | Remove deprecated command-line options such as "-as".Gravatar Guillaume Melquiond2016-01-06
* | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\|
| * Disable warning 31 when generating coqtop from coqmktop.Gravatar Maxime Dénès2016-01-05
* | Remove unused functions.Gravatar Guillaume Melquiond2016-01-01
* | Remove useless recursive flags.Gravatar Guillaume Melquiond2016-01-01
* | Remove some occurrences of Unix.opendir.Gravatar Guillaume Melquiond2015-12-14
* | Simplify coqdep lexer by removing global references.Gravatar Guillaume Melquiond2015-11-30
* | Merge remote-tracking branch 'origin/v8.5' into upstream-trunkGravatar Hugo Herbelin2015-11-07
|\|
| * Fixed #4407.Gravatar Pierre Courtieu2015-11-06
| * Fixing #4406 coqdep: No recursive search of ml (-I).Gravatar Pierre Courtieu2015-11-06
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-26
|\|
| * Support "Functional Scheme" in coqdoc. (Fix bug #4382)Gravatar Guillaume Melquiond2015-10-23
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
| * Documenting how to support some special unicode characters in coqdocGravatar Hugo Herbelin2015-09-26
| * Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Gravatar Hugo Herbelin2015-09-26
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
| * Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
* | Fixing fake_ide.Gravatar Pierre-Marie Pédrot2015-09-22
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-09-17
|\|
| * Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)Gravatar Guillaume Melquiond2015-09-16
* | Coq_makefile: read TIMED and TIMECMD from environment.Gravatar Maxime Dénès2015-09-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-06
|\|
| * Missing argument "-c" for coqdep in coq_makefileGravatar mlasson2015-09-03
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\|
| * report the full module path when reporting errors in coqdepGravatar Gregory Malecha2015-08-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-05
|\|
| * Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
| * Fix width of underscore in coq_tex output.Gravatar Guillaume Melquiond2015-07-30
| * Fix broken regexp.Gravatar Guillaume Melquiond2015-07-30
| * Remove unused variables.Gravatar Guillaume Melquiond2015-07-30
| * Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Gravatar Guillaume Melquiond2015-07-30
| * Make coq-tex more robust with respect to the (non-)command on the last line.Gravatar Guillaume Melquiond2015-07-29
| * Remove empty commands from the output of coq-tex.Gravatar Guillaume Melquiond2015-07-29
| * Rewrite the main loop of coq-tex.Gravatar Guillaume Melquiond2015-07-29
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-29
|\|
| * Make coq-tex aware of lines ending with "}", so as to fix the FAQ.Gravatar Guillaume Melquiond2015-07-28
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-27
|\|
| * Using maps and sets instead of lists in coqdep.Gravatar Pierre-Marie Pédrot2015-07-24
| * Fixing bug #4265: "coqdep does not handle From ... Require" for good.Gravatar Pierre-Marie Pédrot2015-07-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
|\|
| * Fix command-line documentation of coq-tex.Gravatar Guillaume Melquiond2015-07-08
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-06
|\|
| * Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
|\|
| * Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* | Merge remote-tracking branch 'forge/v8.5'Gravatar Pierre Boutillier2015-06-22
|\|