| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
constant".
|
|
|
|
the monad.
|
|
|
|
|
|
|
|
|
|
Delaying also some computation needed for printing to the time of
really printing it.
|
|
|
|
We now pass `-ignore-coq-version` to CompCert's configure (cf
AbsInt/CompCert#188) , thanks to @xavierleroy .
|
|
|
|
|
|
|
|
|
|
|
|
Not a useful overlay. Fiat-crypto has since been updated to pass
-compat 8.6.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We document an example `Makefile` which does not include the generated
`CoqMakefile`, but instead invokes arbitrary targets in it.
|
|
It does not seem to be referred to by any file, and does not seem to be
built by any implicit rules.
|
|
|
|
|
|
|
|
|
|
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)
|
|
This fixes [bug #5619](https://coq.inria.fr/bugs/show_bug.cgi?id=5619)
|
|
|
|
|
|
As suggested by @psteckler.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
