aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2015-07-24Fixing bug #4265: "coqdep does not handle From ... Require" for good.Pierre-Marie Pédrot
2015-07-18Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-08Fix command-line documentation of coq-tex.Guillaume Melquiond
2015-07-06Merge branch 'v8.5' into trunkMaxime Dénès
2015-07-03Fixing bug #4265: coqdep does not handle From ... Require.Pierre-Marie Pédrot
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-06-30Removing dead code in coqdep.Pierre-Marie Pédrot
2015-06-22Merge remote-tracking branch 'forge/v8.5'Pierre Boutillier
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-06-09Support CRLF end of line in fake_ide.Guillaume Melquiond
2015-06-01Merge branch 'v8.5'Pierre-Marie Pédrot
2015-05-28Test for 4159Enrico Tassi
2015-05-18Adding the -color option to coqc.Pierre Courtieu
2015-05-15Merge v8.5 into trunkHugo Herbelin
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-05-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-22Remove some spurious spaces in generated Makefiles.Guillaume Melquiond
2015-04-20Remove spurious ".v" from warning message.Guillaume Melquiond
2015-04-09Merge branch 'v8.5' into trunkPierre Letouzey
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-30Merge branch 'v8.5' into trunkEnrico Tassi
2015-03-30coq_makefile: fix compilation with camlp4Enrico Tassi
2015-03-27Properly handle extra "clean" targets with coq_makefile.Guillaume Melquiond
2015-03-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-14End of Bug 3986 - make cleanall removes .*.aux filesPierre Boutillier
2015-03-14Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warningPierre Boutillier
2015-03-04Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-28Coq_makefile clean target erases .coq-native dirs in . if they are emptyPierre Boutillier
2015-02-28Fixing the rule for ml4 depencies in coq_makefilemlasson
2015-02-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-27Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...Guillaume Melquiond
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-02-26Fixing printing error in coq_makefile.Pierre-Marie Pédrot
2015-02-26Mention -R option in warnings, fixing #4067 and #4068.Maxime Dénès
2015-02-24Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)Guillaume Melquiond
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-16Using home-made ocamllibdep rather than coqdep_boot.Hugo Herbelin
2015-02-16New short stand-alone ocamllibdep to build .mllib dependencies files.Hugo Herbelin
2015-02-16Restricting the need for coqdep_boot to mllib.d files (since ocamlHugo Herbelin
2015-02-14coqc accepts -top option. Fixes bug #4043.Pierre-Marie Pédrot
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)Hugo Herbelin
2015-02-12Capital letter in plugins.Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-11Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)Guillaume Melquiond
2015-02-10Prevent Latex from messing with backticks. (Fix for bug #3871)Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 08:57:05 +0000