aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-04
|\
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-28
|\|
| * Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...Gravatar Guillaume Melquiond2015-02-27
* | Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-02-26
|\|
| * 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
* | Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-16
* | Using home-made ocamllibdep rather than coqdep_boot.Gravatar Hugo Herbelin2015-02-16
* | New short stand-alone ocamllibdep to build .mllib dependencies files.Gravatar Hugo Herbelin2015-02-16
* | Restricting the need for coqdep_boot to mllib.d files (since ocamlGravatar Hugo Herbelin2015-02-16
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 05:58:43 +0000