diff options
| author | Pierre Courtieu | 2014-12-30 14:06:39 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2014-12-30 14:06:39 +0000 |
| commit | b75bf02626b639bad8fe28796b7ee9163fd54323 (patch) | |
| tree | c56e1abd9fe17c143d32f95d63f10701c707ed3f /pgshell/example.pgsh | |
| parent | a9660f46b64132dec0d0efc8ff4419ec8899558b (diff) | |
fixed indentation (lexing of 'with') + made local coq-load-path.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions