| Age | Commit message (Collapse) | Author |
|---|
|
Fixes Coq bug 5635 (https://coq.inria.fr/bugs/show_bug.cgi?id=5635).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We document an example `Makefile` which does not include the generated
`CoqMakefile`, but instead invokes arbitrary targets in it.
|
|
|
|
|
|
|
|
|
|
In case COQLIB has backslashes, as it does on Windows, or spaces
|
|
|
|
This, I hope, will fix [bug #5620](https://coq.inria.fr/bugs/show_bug.cgi?id=5620)
|
|
|
|
|
|
|
|
|
|
with make -j4
|
|
This is only a partial merge, we stick with using the standard OCaml
(un)capitalize functions.
|
|
Ocaml file names are restricted since 2008 to A..Z followed by a..z0..9'_.
We take this constraint into account in tools manipulating Ocaml file
names.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
`VernacStartTheoremProof`
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fix suggested by Hugo.
|
|
|
|
|
|
|
|
|
