aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* 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
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing typo in previous commit.Gravatar Hugo Herbelin2015-01-12
* Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.Gravatar Hugo Herbelin2015-01-11
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 20:04:17 +0000