aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/5043.v
Commit message (Expand)AuthorAge
* Fix bug #5043: [Admitted] lemmas pick up section variables.Gravatar Pierre-Marie Pédrot2016-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-26 19:41:08 +0000