| Age | Commit message (Collapse) | Author |
|---|
|
|
|
let-bindings.
|
|
Reviewed-by: gares
|
|
Reviewed-by: herbelin
Ack-by: ejgallego
|
|
Reviewed-by: herbelin
|
|
Following a recent change in Cygwin.
Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
|
|
Reviewed-by: silene
Ack-by: Zimmi48
Ack-by: jfehrle
|
|
instantiate.
Reviewed-by: jfehrle
|
|
|
|
|
|
Reviewed-by: Zimmi48
Ack-by: palmskog
|
|
Reviewed-by: gares
|
|
|
|
Reviewed-by: gares
|
|
Reviewed-by: gares
|
|
|
|
|
|
|
|
|
|
Reviewed-by: gares
Ack-by: MSoegtropIMC
|
|
Reviewed-by: Zimmi48
|
|
|
|
Reviewed-by: anton-trunov
|
|
Reviewed-by: jfehrle
|
|
|
|
|
|
It is the only place where it starts making sense in the whole codebase. It also
fits nicely there since there are other functions manipulating this type in that
module.
In any case this type does not belong to the kernel.
|
|
|
|
Reviewed-by: gares
|
|
Reviewed-by: herbelin
|
|
|
|
Reviewed-by: mattam82
Reviewed-by: gares
Ack-by: SkySkimmer
|
|
|
|
|
|
|
|
Reviewed-by: SkySkimmer
|
|
This is extracted from #13563.
|
|
Reviewed-by: Zimmi48
Ack-by: cpitclaudel
|
|
This will help with reproducibility for people who have something in their coqrc file.
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
|
|
Reviewed-by: gares
|
|
tactics.
Reviewed-by: ppedrot
|
|
Reviewed-by: ppedrot
|
|
Also fixes is_in_projects
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
