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
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-26
|
\
|
*
Support "Functional Scheme" in coqdoc. (Fix bug #4382)
Guillaume Melquiond
2015-10-23
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-02
|
\
|
|
*
Documenting how to support some special unicode characters in coqdoc
Hugo Herbelin
2015-09-26
|
*
Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.
Hugo Herbelin
2015-09-26
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-25
|
\
|
|
*
Updating the documentation and the toolchain w.r.t. the change in -compile.
Pierre-Marie Pédrot
2015-09-25
*
|
Fixing fake_ide.
Pierre-Marie Pédrot
2015-09-22
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-09-17
|
\
|
|
*
Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)
Guillaume Melquiond
2015-09-16
*
|
Coq_makefile: read TIMED and TIMECMD from environment.
Maxime Dénès
2015-09-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-09-06
|
\
|
|
*
Missing argument "-c" for coqdep in coq_makefile
mlasson
2015-09-03
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-22
|
\
|
|
*
report the full module path when reporting errors in coqdep
Gregory Malecha
2015-08-13
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-08-05
|
\
|
|
*
Remove some outdated files and fix permissions.
Guillaume Melquiond
2015-07-31
|
*
Fix width of underscore in coq_tex output.
Guillaume Melquiond
2015-07-30
|
*
Fix broken regexp.
Guillaume Melquiond
2015-07-30
|
*
Remove unused variables.
Guillaume Melquiond
2015-07-30
|
*
Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.
Guillaume Melquiond
2015-07-30
|
*
Make coq-tex more robust with respect to the (non-)command on the last line.
Guillaume Melquiond
2015-07-29
|
*
Remove empty commands from the output of coq-tex.
Guillaume Melquiond
2015-07-29
|
*
Rewrite the main loop of coq-tex.
Guillaume Melquiond
2015-07-29
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-29
|
\
|
|
*
Make coq-tex aware of lines ending with "}", so as to fix the FAQ.
Guillaume Melquiond
2015-07-28
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-27
|
\
|
|
*
Using maps and sets instead of lists in coqdep.
Pierre-Marie Pédrot
2015-07-24
|
*
Fixing bug #4265: "coqdep does not handle From ... Require" for good.
Pierre-Marie Pédrot
2015-07-24
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-07-18
|
\
|
|
*
Fix command-line documentation of coq-tex.
Guillaume Melquiond
2015-07-08
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-07-06
|
\
|
|
*
Fixing bug #4265: coqdep does not handle From ... Require.
Pierre-Marie Pédrot
2015-07-03
*
|
Merge branch 'v8.5' into trunk
Maxime Dénès
2015-07-02
|
\
|
|
*
Removing dead code in coqdep.
Pierre-Marie Pédrot
2015-06-30
*
|
Merge remote-tracking branch 'forge/v8.5'
Pierre Boutillier
2015-06-22
|
\
|
*
|
All invocations to ocaml compilers go through ocamlfind
Pierre Boutillier
2015-06-22
|
*
Support CRLF end of line in fake_ide.
Guillaume Melquiond
2015-06-09
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-06-01
|
\
|
|
*
Test for 4159
Enrico Tassi
2015-05-28
|
*
Adding the -color option to coqc.
Pierre Courtieu
2015-05-18
*
|
Merge v8.5 into trunk
Hugo Herbelin
2015-05-15
|
\
|
|
*
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
*
|
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-05-05
|
\
|
|
*
Remove some spurious spaces in generated Makefiles.
Guillaume Melquiond
2015-04-22
|
*
Remove spurious ".v" from warning message.
Guillaume Melquiond
2015-04-20
*
|
Merge branch 'v8.5' into trunk
Pierre Letouzey
2015-04-09
|
\
|
|
*
Avoid outputting stray "Local" keywords in HTML documentation.
Guillaume Melquiond
2015-04-02
[next]