Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixes #7192 (Print Assumptions does not enter implementation of submodules). | Hugo Herbelin | 2018-04-07 |
* | Test for bug #4269. | Pierre-Marie Pédrot | 2015-09-15 |
* | First attempt at making Print Assumption compatible with opaque modules (fix ... | letouzey | 2011-10-25 |