aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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
2015-01-27Fixed a wrong warning in coq_makefile.Pierre Courtieu
2015-01-27Allow -type-in-type to be an option also for coqc.Daniel R. Grayson
2015-01-16coq_makefile: install also .v and .globEnrico Tassi
2015-01-15Remove left-over dead code in previous commit.Maxime Dénès
2015-01-15Make -print-mod-uid accept a list of files.Maxime Dénès
2015-01-15Make installation of native files more robust.Maxime Dénès
2015-01-15coq_makefile installs native filesPierre Boutillier
2015-01-14coq_makefile: chmod 755 on toplopp cmxsEnrico Tassi
2015-01-13Made -print-mod-uid more silent and robust.Maxime Dénès
2015-01-12Coq_makefile erases native compiler filesPierre Boutillier
2015-01-12Update headers.Maxime Dénès
2015-01-12Fixing typo in previous commit.Hugo Herbelin
2015-01-11Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.Hugo Herbelin
2015-01-06rename: vi -> vioEnrico Tassi
2015-01-06Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...Guillaume Melquiond
2014-12-25Inlining Spawn.kill_if in the one place were it was actually used, thusPierre-Marie Pédrot
2014-12-18Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for gram...mlasson
2014-12-15Fixing bug #3865.Pierre-Marie Pédrot
2014-12-12Fix #3800 : cmxs need execution priviledges under windowsPierre Boutillier
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-12-09coqdoc.css: fix a few errorsPierre Letouzey
2014-12-09coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...Pierre Letouzey
2014-12-09Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...notin
2014-12-04coqdep: granting #2506 (./dir is the same as dir)Hugo Herbelin
2014-12-04coqdep: Warning about ml file clashes, keeping the file correspondingHugo Herbelin
2014-10-27Use the url package, since coqdoc generates \url commands.Guillaume Melquiond
2014-10-22Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.Hugo Herbelin
2014-10-16More fallout from elisp renameAnders Kaseorg
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 11:15:14 +0000