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
...
*
|
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
|
|
*
|
Create a variable for CAMLDOC in CoqMakefile.in
Jason Gross
2017-06-30
|
|
*
|
Quote $(OCAMLFIND) in CoqMakefile.in for Windows
Jason Gross
2017-06-30
|
|
/
/
|
/
|
|
|
|
*
Better support for make TIMED=1 on Windows
Jason Gross
2017-06-30
|
|
/
|
/
|
|
*
Merge PR#731: Mini-cleaning around OCaml file names
Maxime Dénès
2017-06-27
|
|
\
|
|
*
A cleaning phase about ocaml file names.
Hugo Herbelin
2017-06-27
*
|
|
Merge PR#794: Cleanup of ltac cmxs
Maxime Dénès
2017-06-23
|
\
\
\
*
\
\
\
Merge PR#742: Fix `make TIMED=1` garbage
Maxime Dénès
2017-06-20
|
\
\
\
\
*
|
|
|
|
[ide] Add route_id parameter to query call.
Emilio Jesus Gallego Arias
2017-06-18
|
*
|
|
|
Move TIMER to right in front of COQC
Jason Gross
2017-06-15
|
*
|
|
|
Fix `make TIMED=1` garbage
Jason Gross
2017-06-15
|
*
|
|
|
Strip trailing whitespace
Jason Gross
2017-06-15
|
/
/
/
/
|
*
/
/
coqdep: correct support of Local Declare ML Module
Pierre Letouzey
2017-06-15
|
/
/
/
*
|
|
Merge PR#709: Bytecode compilation apart from 'make world', again
Maxime Dénès
2017-06-12
|
\
\
\
*
|
|
|
Add support for "-bypass-API" argument of "coq_makefile"
Matej Košík
2017-06-12
*
|
|
|
Merge PR#698: Trunk misc
Maxime Dénès
2017-06-07
|
\
\
\
\
*
|
|
|
|
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-06-02
*
|
|
|
|
Fix coq_makefile uninstall target under OSX.
Maxime Dénès
2017-06-01
|
|
|
*
|
Bump year in headers.
Maxime Dénès
2017-06-01
|
|
|
|
/
|
*
|
|
removing duplicate line from "tools/CoqMakefile.in"
Matej Košík
2017-05-31
|
|
*
|
coq_makefile : do not build bytecode versions of plugins by default
Pierre Letouzey
2017-05-30
|
|
*
|
Makefile: no bytecode compilation in make world, see make byte instead
Pierre Letouzey
2017-05-30
*
|
|
|
make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u...
Matej Košík
2017-05-30
|
|
/
/
|
/
|
|
*
|
|
Merge PR#356: Making management of installation directories more structured, ...
Maxime Dénès
2017-05-30
|
\
\
\
*
\
\
\
Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3
Maxime Dénès
2017-05-30
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
|
*
|
Using the same strategy in coqdoc than in coqtop to guess the coqlib.
Hugo Herbelin
2017-05-29
|
|
*
|
Exporting the suffixes needed to build coqlib, docdir, etc.
Hugo Herbelin
2017-05-29
|
|
*
|
Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.
Hugo Herbelin
2017-05-29
*
|
|
|
Merge PR#512: [cleanup] Unify all calls to the error function.
Maxime Dénès
2017-05-29
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
|
*
|
Fail on deprecated warning even for Ocaml > 4.02.3
Gaëtan Gilbert
2017-05-28
*
|
|
|
Merge PR#683: coq_makefile: build .cma for each .mlpack
Maxime Dénès
2017-05-28
|
\
\
\
\
*
\
\
\
\
Merge PR#658: [coqdoc] Add keywords in bug 2884.
Maxime Dénès
2017-05-28
|
\
\
\
\
\
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
*
|
[cleanup] Unify all calls to the error function.
Emilio Jesus Gallego Arias
2017-05-27
|
|
_
|
/
/
|
/
|
|
|
|
|
*
|
coq_makefile: build .cma for each .mlpack
Enrico Tassi
2017-05-27
|
|
/
/
|
/
|
|
*
|
|
Merge PR#645: [stm] Tweak debug options.
Maxime Dénès
2017-05-25
|
\
\
\
[prev]
[next]