aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/SuggestProofUsing.out
Commit message (Expand)AuthorAge
* Use a nice printer for constant names in Suggest Proof Using.Gravatar Gaëtan Gilbert2017-10-10
* Take Suggest Proof Using outside the kernel.Gravatar Gaëtan Gilbert2017-10-10