diff options
| author | David Aspinall | 2009-09-04 15:09:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 15:09:18 +0000 |
| commit | b1fd82d624fe7f44e9b597c8e1a585a5ad1a350d (patch) | |
| tree | c06295b63296cf22ccdd4452eeab0e2145ac70fd /pgshell | |
| parent | bf443eef05580de57fbd5ebfc72b21ab5cf98a8e (diff) | |
proof-looking-at-syntactic-context: moved to proof-utils because of macro use
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions