aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2016-12-26Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Guillaume Melquiond
2016-08-16Output a break before a list only if there was an empty line (bug #4606).Guillaume Melquiond
2016-07-05Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Guillaume Melquiond
2016-06-07Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).Guillaume Melquiond
2016-06-03Fix proof terminators not being detected in presence of curly brackets (bug #...Guillaume Melquiond
2016-06-03Make "coqdoc -g --parse-comments" behave properly (bug #4773).Guillaume Melquiond
2016-03-24use printf instead of sequenced calls to print.Gregory Malecha
2016-03-24add a .merlin target to the makefileGregory Malecha
2016-01-24Tentative fix for bug #4522: Incorrect "Warning..." on windows.Pierre-Marie Pédrot
2016-01-24Fixing bug #4373: coqdep does not know about .vio files.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-15Minor edits in output of coqdep --help.Maxime Dénès
2016-01-15Fix #4408.Pierre Courtieu
2016-01-15Partially fixing #4408: coqdep --help is up to date.Pierre Courtieu
2016-01-05Disable warning 31 when generating coqtop from coqmktop.Maxime Dénès
2015-11-06Fixed #4407.Pierre Courtieu
2015-11-06Fixing #4406 coqdep: No recursive search of ml (-I).Pierre Courtieu
2015-10-23Support "Functional Scheme" in coqdoc. (Fix bug #4382)Guillaume Melquiond
2015-09-26Documenting how to support some special unicode characters in coqdocHugo Herbelin
2015-09-26Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.Hugo Herbelin
2015-09-25Updating the documentation and the toolchain w.r.t. the change in -compile.Pierre-Marie Pédrot
2015-09-16Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)Guillaume Melquiond
2015-09-03Missing argument "-c" for coqdep in coq_makefilemlasson
2015-08-13report the full module path when reporting errors in coqdepGregory Malecha
2015-07-31Remove some outdated files and fix permissions.Guillaume Melquiond
2015-07-30Fix width of underscore in coq_tex output.Guillaume Melquiond
2015-07-30Fix broken regexp.Guillaume Melquiond
2015-07-30Remove unused variables.Guillaume Melquiond
2015-07-30Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.Guillaume Melquiond
2015-07-29Make coq-tex more robust with respect to the (non-)command on the last line.Guillaume Melquiond
2015-07-29Remove empty commands from the output of coq-tex.Guillaume Melquiond
2015-07-29Rewrite the main loop of coq-tex.Guillaume Melquiond
2015-07-28Make coq-tex aware of lines ending with "}", so as to fix the FAQ.Guillaume Melquiond
2015-07-24Using maps and sets instead of lists in coqdep.Pierre-Marie Pédrot
2015-07-24Fixing bug #4265: "coqdep does not handle From ... Require" for good.Pierre-Marie Pédrot
2015-07-08Fix command-line documentation of coq-tex.Guillaume Melquiond
2015-07-03Fixing bug #4265: coqdep does not handle From ... Require.Pierre-Marie Pédrot
2015-06-30Removing dead code in coqdep.Pierre-Marie Pédrot
2015-06-09Support CRLF end of line in fake_ide.Guillaume Melquiond
2015-05-28Test for 4159Enrico Tassi
2015-05-18Adding the -color option to coqc.Pierre Courtieu
2015-05-14Do not regenerate .d files when cleaning them. (Fix bug #4079)Guillaume Melquiond
2015-05-14Adding an option -w to control Coq warning output.Pierre-Marie Pédrot
2015-05-14Disable precompilation for native_compute by default.Guillaume Melquiond
2015-04-22Remove some spurious spaces in generated Makefiles.Guillaume Melquiond
2015-04-20Remove spurious ".v" from warning message.Guillaume Melquiond
2015-04-02Avoid outputting stray "Local" keywords in HTML documentation.Guillaume Melquiond
2015-03-31Do not escape "'" when outputting to html, especially not using "´".Guillaume Melquiond
2015-03-30coq_makefile: fix compilation with camlp4Enrico Tassi
2015-03-27Properly handle extra "clean" targets with coq_makefile.Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 20:23:45 +0000