diff options
author | Clément Pit-Claudel <cpitclaudel@gmail.com> | 2018-08-07 15:29:24 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-07 15:29:24 -0400 |
commit | 52d1f920a6565fc1c3793d4f70b990ca343dc0d0 (patch) | |
tree | 010e85e545d24ff95e62dc1978b4109762198cb3 /INSTALL | |
parent | b238dab7a2f8a52281a920df027c3dea4fc4b28c (diff) | |
parent | a252293101320b641365619b8d8a3ee914b781f4 (diff) |
Merge pull request #375 from jmgrosen/master
Add coq-Print-Ltac to print an Ltac term
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions