| Age | Commit message (Collapse) | Author |
|---|
|
db_printers just isn't used.
api.txt is superseded by the API OCaml interface.
|
|
This gives syntax highlighting in Coq-aware editors.
|
|
|
|
Introduced c1e9a27d383688e44ba34ada24fe08151cb5846e
|
|
They seem unused since 8f4b7f1 (2007).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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)
|
|
|
