aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* 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
* Mention -R option in warnings, fixing #4067 and #4068.Gravatar Maxime Dénès2015-02-26
* Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)Gravatar Guillaume Melquiond2015-02-24
* coqc accepts -top option. Fixes bug #4043.Gravatar Pierre-Marie Pédrot2015-02-14
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)Gravatar Hugo Herbelin2015-02-12
* Capital letter in plugins.Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)Gravatar Guillaume Melquiond2015-02-11
* Prevent Latex from messing with backticks. (Fix for bug #3871)Gravatar Guillaume Melquiond2015-02-10
* Fixed a wrong warning in coq_makefile.Gravatar Pierre Courtieu2015-01-27
* Allow -type-in-type to be an option also for coqc.Gravatar Daniel R. Grayson2015-01-27
* coq_makefile: install also .v and .globGravatar Enrico Tassi2015-01-16
* Remove left-over dead code in previous commit.Gravatar Maxime Dénès2015-01-15
* Make -print-mod-uid accept a list of files.Gravatar Maxime Dénès2015-01-15
* Make installation of native files more robust.Gravatar Maxime Dénès2015-01-15
* coq_makefile installs native filesGravatar Pierre Boutillier2015-01-15
* coq_makefile: chmod 755 on toplopp cmxsGravatar Enrico Tassi2015-01-14
* Made -print-mod-uid more silent and robust.Gravatar Maxime Dénès2015-01-13
* Coq_makefile erases native compiler filesGravatar Pierre Boutillier2015-01-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 08:52:04 +0000