index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
Commit message (
Expand
)
Author
Age
*
Adding the -color option to coqc.
Pierre Courtieu
2015-05-18
*
Do not regenerate .d files when cleaning them. (Fix bug #4079)
Guillaume Melquiond
2015-05-14
*
Adding an option -w to control Coq warning output.
Pierre-Marie Pédrot
2015-05-14
*
Disable precompilation for native_compute by default.
Guillaume Melquiond
2015-05-14
*
Remove some spurious spaces in generated Makefiles.
Guillaume Melquiond
2015-04-22
*
Remove spurious ".v" from warning message.
Guillaume Melquiond
2015-04-20
*
Avoid outputting stray "Local" keywords in HTML documentation.
Guillaume Melquiond
2015-04-02
*
Do not escape "'" when outputting to html, especially not using "´".
Guillaume Melquiond
2015-03-31
*
coq_makefile: fix compilation with camlp4
Enrico Tassi
2015-03-30
*
Properly handle extra "clean" targets with coq_makefile.
Guillaume Melquiond
2015-03-27
*
End of Bug 3986 - make cleanall removes .*.aux files
Pierre Boutillier
2015-03-14
*
Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning
Pierre Boutillier
2015-03-14
*
Coq_makefile clean target erases .coq-native dirs in . if they are empty
Pierre Boutillier
2015-02-28
*
Fixing the rule for ml4 depencies in coq_makefile
mlasson
2015-02-28
*
Make coq_makefile generate double-colon rules for clean and archclean. (Fix b...
Guillaume Melquiond
2015-02-27
*
Fixing printing error in coq_makefile.
Pierre-Marie Pédrot
2015-02-26
*
Mention -R option in warnings, fixing #4067 and #4068.
Maxime Dénès
2015-02-26
*
Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)
Guillaume Melquiond
2015-02-24
*
coqc accepts -top option. Fixes bug #4043.
Pierre-Marie Pédrot
2015-02-14
*
Revert "Using same code for browsing physical directories in coqtop and coqdep."
Hugo Herbelin
2015-02-12
*
Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)
Hugo Herbelin
2015-02-12
*
Capital letter in plugins.
Hugo Herbelin
2015-02-12
*
Using same code for browsing physical directories in coqtop and coqdep.
Hugo Herbelin
2015-02-12
*
Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)
Guillaume Melquiond
2015-02-11
*
Prevent Latex from messing with backticks. (Fix for bug #3871)
Guillaume Melquiond
2015-02-10
*
Fixed a wrong warning in coq_makefile.
Pierre Courtieu
2015-01-27
*
Allow -type-in-type to be an option also for coqc.
Daniel R. Grayson
2015-01-27
*
coq_makefile: install also .v and .glob
Enrico Tassi
2015-01-16
*
Remove left-over dead code in previous commit.
Maxime Dénès
2015-01-15
*
Make -print-mod-uid accept a list of files.
Maxime Dénès
2015-01-15
*
Make installation of native files more robust.
Maxime Dénès
2015-01-15
*
coq_makefile installs native files
Pierre Boutillier
2015-01-15
*
coq_makefile: chmod 755 on toplopp cmxs
Enrico Tassi
2015-01-14
*
Made -print-mod-uid more silent and robust.
Maxime Dénès
2015-01-13
*
Coq_makefile erases native compiler files
Pierre Boutillier
2015-01-12
*
Update headers.
Maxime Dénès
2015-01-12
*
Fixing typo in previous commit.
Hugo Herbelin
2015-01-12
*
Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.
Hugo Herbelin
2015-01-11
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...
Guillaume Melquiond
2015-01-06
*
Inlining Spawn.kill_if in the one place were it was actually used, thus
Pierre-Marie Pédrot
2014-12-25
*
Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for gram...
mlasson
2014-12-18
*
Fixing bug #3865.
Pierre-Marie Pédrot
2014-12-15
*
Fix #3800 : cmxs need execution priviledges under windows
Pierre Boutillier
2014-12-12
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
coqdoc.css: fix a few errors
Pierre Letouzey
2014-12-09
*
coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...
Pierre Letouzey
2014-12-09
*
Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...
notin
2014-12-09
*
coqdep: granting #2506 (./dir is the same as dir)
Hugo Herbelin
2014-12-04
*
coqdep: Warning about ml file clashes, keeping the file corresponding
Hugo Herbelin
2014-12-04
[next]