aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* rename: vi -> vioGravatar Enrico Tassi2015-01-06
* Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...Gravatar Guillaume Melquiond2015-01-06
* Inlining Spawn.kill_if in the one place were it was actually used, thusGravatar Pierre-Marie Pédrot2014-12-25
* Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for gram...Gravatar mlasson2014-12-18
* Fixing bug #3865.Gravatar Pierre-Marie Pédrot2014-12-15
* Fix #3800 : cmxs need execution priviledges under windowsGravatar Pierre Boutillier2014-12-12
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* coqdoc.css: fix a few errorsGravatar Pierre Letouzey2014-12-09
* coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...Gravatar Pierre Letouzey2014-12-09
* Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...Gravatar notin2014-12-09
* coqdep: granting #2506 (./dir is the same as dir)Gravatar Hugo Herbelin2014-12-04
* coqdep: Warning about ml file clashes, keeping the file correspondingGravatar Hugo Herbelin2014-12-04
* Use the url package, since coqdoc generates \url commands.Gravatar Guillaume Melquiond2014-10-27
* Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.Gravatar Hugo Herbelin2014-10-22
* More fallout from elisp renameGravatar Anders Kaseorg2014-10-16
* Coq_makefile: Allow empty logical namesGravatar Pierre Boutillier2014-10-09
* Applying Virgile Prevosto's patch for better error report in coqdep (#3029).Gravatar Hugo Herbelin2014-10-08
* coq_makefile: explicit target install-toploop for toploop pluginsGravatar Enrico Tassi2014-10-07
* fix wrong escaping in coq_makefileGravatar Enrico Tassi2014-10-06
* coq_makefile: build and install *top.cmxs pluginsGravatar Enrico Tassi2014-10-01
* fix coq_makefileGravatar Pierre Boutillier2014-09-18
* Revert "coqc: execvp is now available even on win32"Gravatar Enrico Tassi2014-09-17
* Print [Variant] types with the keyword [Variant].Gravatar Arnaud Spiwack2014-09-04
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
* coqworkmgrGravatar Enrico Tassi2014-09-02
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* factored out require_modifiers + bug fix.Gravatar Gregory Malecha2014-08-25
* coqdep comments counter is in the stackGravatar Pierre Boutillier2014-08-25
* a comment about the new state.Gravatar Gregory Malecha2014-08-25
* Support for Timeout n and From ..Gravatar Gregory Malecha2014-08-25
* Make coqdep find Require commands prefixed by TimeGravatar Gregory Malecha2014-08-25
* Make beautify-archive usable on non-GNU systems.Gravatar Xavier Clerc2014-08-21
* fixup fakeide test-suiteGravatar Pierre Boutillier2014-07-24
* Coq_makefile: fix cmx compilation when there are both ml and mllibGravatar Pierre Boutillier2014-07-07
* Fix Coq_makefile in presence of mlpackGravatar Pierre Boutillier2014-07-03
* coqdoc is minimaly -Q awareGravatar Pierre Boutillier2014-07-03
* Bug 3405: Coq_makefile: Implicit rules only for listed files in Make fileGravatar Pierre Boutillier2014-07-03
* Coq_makefile takes advantages of -I -Q -R cleanupGravatar Pierre Boutillier2014-06-30
* coqc is -Q awareGravatar Pierre Boutillier2014-06-30
* Coqdep: update include strategiesGravatar Pierre Boutillier2014-06-30
* Coq_makefile: -extra[-phony] correction + docGravatar Pierre Boutillier2014-06-30
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Checking that a library name is valid before compilation.Gravatar Pierre-Marie Pédrot2014-06-16
* Remove documentation for the unsupported options -byte and -opt.Gravatar Guillaume Melquiond2014-06-13
* make coqdep canonicalize paths from the command lineGravatar Gregory Malecha2014-05-26
* Fixing coqdep_boot warning relative to unknown ML files that were in tactics.Gravatar Pierre-Marie Pédrot2014-05-17
* Fixing the undocumented -dumpgraphbox option of coqdep.Gravatar Pierre-Marie Pédrot2014-05-12
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...Gravatar Guillaume Melquiond2014-04-28
* Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Gravatar Guillaume Melquiond2014-04-28