aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ide/bug7088.fake
Commit message (Expand)AuthorAge
* stm: don't propagate side effects when editing a proofGravatar Enrico Tassi2018-03-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 04:19:14 +0000