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
...
|
|
*
|
|
look for Obligation num or Next Obligation to start proof
Paul Steckler
2017-09-26
|
|
/
/
/
|
/
|
|
|
*
|
|
|
Merge PR #1055: Remove STM vernaculars
Maxime Dénès
2017-09-22
|
\
\
\
\
*
\
\
\
\
Merge PR #1070: Remove remaining occurrences of -just-parsing.
Maxime Dénès
2017-09-22
|
\
\
\
\
\
|
|
|
*
|
|
Properly handle "coq_makefile -Q . Foo" (bug #5580).
Guillaume Melquiond
2017-09-21
|
*
|
|
|
|
Remove remaining occurrences of -just-parsing.
Guillaume Melquiond
2017-09-21
|
|
|
/
/
/
|
|
/
|
|
|
*
/
|
|
|
coq_makefile: dont show errors from failed (ignored) rmdir
Ralf Jung
2017-09-20
|
/
/
/
/
|
|
*
|
coq_makefile: make sure compile flags for Coq and coq_makefile are in sync
Emilio Jesus Gallego Arias
2017-09-19
|
*
|
|
Add XML protocol support for Wait.
Maxime Dénès
2017-09-19
|
/
/
/
*
|
|
Merge PR #990: Prevent warning about DSTROOT being undefined.
Maxime Dénès
2017-09-15
|
\
\
\
|
|
/
/
|
/
|
|
|
|
*
Supporting library names in utf8 in coqdep.
Hugo Herbelin
2017-09-13
|
|
/
|
/
|
*
|
Merge PR #997: coqdoc: Support comments in verbatim output
Maxime Dénès
2017-09-07
|
\
\
*
\
\
Merge PR #958: coq_makefile: build/use .cma for packed plugins too
Maxime Dénès
2017-08-31
|
\
\
\
|
*
|
|
coq_makefile: fix .merlin generation (FLG -thread)
Enrico Tassi
2017-08-29
|
*
|
|
coq_makefile: improve documentation
Enrico Tassi
2017-08-29
|
*
|
|
coq_makefile: print error message when coqlib is not set properly
Enrico Tassi
2017-08-29
|
*
|
|
coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs
Enrico Tassi
2017-08-29
*
|
|
|
Merge PR #773: [flags] Remove XML output flag.
Maxime Dénès
2017-08-29
|
\
\
\
\
|
|
*
|
|
coq_makefile: do not overwrite CAMLFLAGS
Enrico Tassi
2017-08-29
|
|
*
|
|
coq_makefile: use dedicated variable for extra packages
Enrico Tassi
2017-08-29
|
|
*
|
|
coq_makefile: build/use .cma for packed plugins
Enrico Tassi
2017-08-29
|
|
/
/
/
|
/
|
|
|
|
|
*
|
coqdoc: Support comments in verbatim output
Tej Chajed
2017-08-29
|
|
|
*
Prevent warning about DSTROOT being undefined.
Guillaume Melquiond
2017-08-22
|
|
|
/
*
|
/
Fix coqdoc URLs under Windows.
Théo Zimmermann
2017-08-21
|
|
/
|
/
|
*
|
Merge PR #964: More portable location for the time command.
Maxime Dénès
2017-08-16
|
\
\
*
\
\
Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...
Maxime Dénès
2017-08-16
|
\
\
\
*
|
|
|
fix coq_makefile
Matej Košík
2017-08-12
|
|
*
|
More portable location for the time command.
Théo Zimmermann
2017-08-12
|
|
/
/
|
/
|
|
|
|
*
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-08-01
|
|
/
|
/
|
*
|
Merge PR #921: [make] remove compat5 file.
Maxime Dénès
2017-08-01
|
\
\
*
\
\
Merge PR #917: Moving --print-version to -print-version for consistency.
Maxime Dénès
2017-08-01
|
\
\
\
*
|
|
|
[toplevel] Remove long ago deprecated and NOOP options.
Emilio Jesus Gallego Arias
2017-07-27
|
|
*
|
[make] remove compat5 file.
Emilio Jesus Gallego Arias
2017-07-27
|
|
/
/
|
/
|
|
|
*
|
Adding -print-version in addition to -print-version for consistency.
Hugo Herbelin
2017-07-25
|
/
/
*
|
fake_ide: do as coqide to find out coqtop path
Enrico Tassi
2017-07-20
*
|
coq-makefile: strip windows drive letter when DESTDIR is not empty
Enrico Tassi
2017-07-20
*
|
coq-makefile: treat coq_makefile as any other coq binary
Enrico Tassi
2017-07-20
*
|
coq-makefile: quote using ' to preserve \ (windows paths)
Enrico Tassi
2017-07-20
*
|
In fake_ide, call coqtop.exe instead of coqtop on Win32.
Maxime Dénès
2017-07-20
*
|
Avoid using unsupported signals under Windows in fake_ide.
Maxime Dénès
2017-07-20
*
|
Merge branch 'v8.7'
Maxime Dénès
2017-07-20
|
\
\
*
|
|
[API] Remove `open API` in ml files in favor of `-open API` flag.
Emilio Jesus Gallego Arias
2017-07-17
|
|
*
Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).
Hugo Herbelin
2017-07-15
|
|
/
|
/
|
|
*
Add timing scripts
Jason Gross
2017-07-11
|
*
Fix TIMED=1 on Mac OSX
Jason Gross
2017-07-08
|
/
*
Merge PR #844: Better support for make TIMED=1 on Windows
Maxime Dénès
2017-07-07
|
\
*
\
Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for Windows
Maxime Dénès
2017-07-05
|
\
\
*
\
\
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-07-04
|
\
\
\
*
|
|
|
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
|
|
*
|
Fix more potential quoting issues: COQBIN , COQLIB
Jason Gross
2017-06-30
|
|
*
|
Also quote $(COQLIB)/grammar
Jason Gross
2017-06-30
[prev]
[next]