| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y , z".
|
|
|
|
|
|
|
|
|
|
As suggested by @herbelin.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Also includes a minor fix of the Extraction doc (a Require was missing).
|
|
|
|
Minor clean up, no sense in having these as they do nothing.
|
|
It is empty and not used anymore.
|
|
|
|
|
|
|
|
|
|
|
|
TestCompile)
|
|
|
|
|
|
|
|
4844 and 4824)
|
|
|
|
This fixes bug 5650: evar (x : Prop) should not be slow.
|
|
|
