aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* use printf instead of sequenced calls to print.Gravatar Gregory Malecha2016-03-24
* add a .merlin target to the makefileGravatar Gregory Malecha2016-03-24
* 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
* 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
* Disable warning 31 when generating coqtop from coqmktop.Gravatar Maxime Dénès2016-01-05
* Fixed #4407.Gravatar Pierre Courtieu2015-11-06
* Fixing #4406 coqdep: No recursive search of ml (-I).Gravatar Pierre Courtieu2015-11-06
* Support "Functional Scheme" in coqdoc. (Fix bug #4382)Gravatar Guillaume Melquiond2015-10-23
* 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
* Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
* Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)Gravatar Guillaume Melquiond2015-09-16
* Missing argument "-c" for coqdep in coq_makefileGravatar mlasson2015-09-03
* report the full module path when reporting errors in coqdepGravatar Gregory Malecha2015-08-13
* 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
* Make coq-tex aware of lines ending with "}", so as to fix the FAQ.Gravatar Guillaume Melquiond2015-07-28
* 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
* Fix command-line documentation of coq-tex.Gravatar Guillaume Melquiond2015-07-08
* Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* Support CRLF end of line in fake_ide.Gravatar Guillaume Melquiond2015-06-09
* Test for 4159Gravatar Enrico Tassi2015-05-28
* Adding the -color option to coqc.Gravatar Pierre Courtieu2015-05-18
* Do not regenerate .d files when cleaning them. (Fix bug #4079)Gravatar Guillaume Melquiond2015-05-14
* Adding an option -w to control Coq warning output.Gravatar Pierre-Marie Pédrot2015-05-14
* Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* Remove some spurious spaces in generated Makefiles.Gravatar Guillaume Melquiond2015-04-22
* Remove spurious ".v" from warning message.Gravatar Guillaume Melquiond2015-04-20
* Avoid outputting stray "Local" keywords in HTML documentation.Gravatar Guillaume Melquiond2015-04-02
* Do not escape "'" when outputting to html, especially not using "´".Gravatar Guillaume Melquiond2015-03-31
* coq_makefile: fix compilation with camlp4Gravatar Enrico Tassi2015-03-30
* Properly handle extra "clean" targets with coq_makefile.Gravatar Guillaume Melquiond2015-03-27
* End of Bug 3986 - make cleanall removes .*.aux filesGravatar Pierre Boutillier2015-03-14
* Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warningGravatar Pierre Boutillier2015-03-14
* Coq_makefile clean target erases .coq-native dirs in . if they are emptyGravatar Pierre Boutillier2015-02-28
* Fixing the rule for ml4 depencies in coq_makefileGravatar mlasson2015-02-28
* Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...Gravatar Guillaume Melquiond2015-02-27
* Fixing printing error in coq_makefile.Gravatar Pierre-Marie Pédrot2015-02-26