aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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
2014-10-09Coq_makefile: Allow empty logical namesPierre Boutillier
2014-10-08Applying Virgile Prevosto's patch for better error report in coqdep (#3029).Hugo Herbelin
2014-10-07coq_makefile: explicit target install-toploop for toploop pluginsEnrico Tassi
2014-10-06fix wrong escaping in coq_makefileEnrico Tassi
2014-10-01coq_makefile: build and install *top.cmxs pluginsEnrico Tassi
2014-09-18fix coq_makefilePierre Boutillier
2014-09-17Revert "coqc: execvp is now available even on win32"Enrico Tassi
2014-09-04Print [Variant] types with the keyword [Variant].Arnaud Spiwack
2014-09-04Add a [Variant] declaration which allows to write non-recursive variant types.Arnaud Spiwack
2014-09-02coqworkmgrEnrico Tassi
2014-08-25"allows to", like "allowing to", is improperJason Gross
2014-08-25factored out require_modifiers + bug fix.Gregory Malecha
2014-08-25coqdep comments counter is in the stackPierre Boutillier
2014-08-25a comment about the new state.Gregory Malecha
2014-08-25Support for Timeout n and From ..Gregory Malecha
2014-08-25Make coqdep find Require commands prefixed by TimeGregory Malecha
2014-08-21Make beautify-archive usable on non-GNU systems.Xavier Clerc
2014-07-24fixup fakeide test-suitePierre Boutillier
2014-07-07Coq_makefile: fix cmx compilation when there are both ml and mllibPierre Boutillier
2014-07-03Fix Coq_makefile in presence of mlpackPierre Boutillier
2014-07-03coqdoc is minimaly -Q awarePierre Boutillier
2014-07-03Bug 3405: Coq_makefile: Implicit rules only for listed files in Make filePierre Boutillier
2014-06-30Coq_makefile takes advantages of -I -Q -R cleanupPierre Boutillier
2014-06-30coqc is -Q awarePierre Boutillier
2014-06-30Coqdep: update include strategiesPierre Boutillier
2014-06-30Coq_makefile: -extra[-phony] correction + docPierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-16Checking that a library name is valid before compilation.Pierre-Marie Pédrot
2014-06-13Remove documentation for the unsupported options -byte and -opt.Guillaume Melquiond
2014-05-26make coqdep canonicalize paths from the command lineGregory Malecha
2014-05-17Fixing coqdep_boot warning relative to unknown ML files that were in tactics.Pierre-Marie Pédrot
2014-05-12Fixing the undocumented -dumpgraphbox option of coqdep.Pierre-Marie Pédrot
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-04-28Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Guillaume Melquiond
2014-04-28Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Guillaume Melquiond
2014-04-28Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Guillaume Melquiond
2014-04-28Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)Guillaume Melquiond
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:31:40 +0000