diff options
| author | Pierre Courtieu | 2013-05-29 15:59:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-05-29 15:59:04 +0000 |
| commit | 8be536fe303eb1061aee731a9830e577b4656ef9 (patch) | |
| tree | f8d853160bb596bb12c0742e36f94ef95b10cfc8 /pgshell | |
| parent | 89377cd6710cd377a05f5116356ca277338bae26 (diff) | |
Fixing a minor bug in indetation (exists is tactic and a quantifier).
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions