aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/prerequisite
Commit message (Expand)AuthorAge
* Cleanup API for registering universe binders.Gravatar Matthieu Sozeau2017-12-01
* Universe binders survive sections, modules and compilation.Gravatar Gaƫtan Gilbert2017-11-25
* admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Gravatar Enrico Tassi2015-03-11
* Fixed bug #2168 (closing a section may have as side-effect the erasureGravatar herbelin2009-11-11
* Improving abbreviations/notations + backtrack of semantic change in r12439Gravatar herbelin2009-11-11
* Local/Global revision 12418 continuedGravatar herbelin2009-10-26
* Improved the treatment of Local/Global options (noneffective Local onGravatar herbelin2009-10-25
* Add new directory for pre-compilation of files needed for further tests.Gravatar herbelin2008-12-02