diff options
| author | John Grosen | 2018-08-07 14:33:40 -0400 |
|---|---|---|
| committer | John Grosen | 2018-08-07 14:33:40 -0400 |
| commit | a252293101320b641365619b8d8a3ee914b781f4 (patch) | |
| tree | 010e85e545d24ff95e62dc1978b4109762198cb3 /pgshell | |
| parent | b238dab7a2f8a52281a920df027c3dea4fc4b28c (diff) | |
Add coq-Print-Ltac to print an Ltac term
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions