| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
reference manual.
|
|
|
|
|
|
|
|
|
|
Structures. Text mode + a "Require Import" in a module which provokes
suspect warnings "Exception Not_found".
|
|
Set Printing Existential Instances (see bug report #3951).
|
|
match the overall style.
|
|
It is, at the very least, listed as such in the overview. So, I moved it to the relevant part and expanded the description with a sentence or two.
|
|
part.
|
|
|
|
|
|
Fixes #3939.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In particular document the "once" behaviour.
|
|
In particular try to avoid the use of the word "backtracking" which refers to too many things.
|
|
|
|
|
|
|
|
|
|
Had to put some hook in the handler of Proofview.NoSuchgoals.
Documentation updated. CHANGE updated.
|
|
|
|
|
|
|
|
|
|
Updated doc, but not tests-suite yet.
|
|
Error messages were outdated.
|
|
|
|
|
|
|
|
|
|
Documentation also updated.
|
|
Putting utf8 everywhere helps the maintainance of the online refman.
And anyway, this is the way to go. We should also chase and migrate
the few remaining iso-latin-1 files elsewhere in the sources.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
