aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3331.v
Commit message (Expand)AuthorAge
* - Add an option to refresh only algebraic universes, for e_type_of. The goalGravatar Matthieu Sozeau2014-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 11:44:22 +0000