aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Merge branch 'yet-another-makefile-bigbang' into trunkGravatar Pierre Letouzey2016-06-01
|\
| * Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
| * Makefile: restore the use of coqdep_boot for creating .v.d filesGravatar Pierre Letouzey2016-06-01
* | Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
|/
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-30
|\
| * use printf instead of sequenced calls to print.Gravatar Gregory Malecha2016-03-24
| * add a .merlin target to the makefileGravatar Gregory Malecha2016-03-24
* | Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-29
|\|
| * Tentative fix for bug #4522: Incorrect "Warning..." on windows.Gravatar Pierre-Marie Pédrot2016-01-24
| * Fixing bug #4373: coqdep does not know about .vio files.Gravatar Pierre-Marie Pédrot2016-01-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * 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