diff options
| author | David Aspinall | 2009-05-26 16:34:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 16:34:25 +0000 |
| commit | 809575dab5c9ee693e2346ac1550325ad5c6c012 (patch) | |
| tree | 9c868c0b3835dc25b5a7c1b1fb5339f55a7d789f /pgshell | |
| parent | 1316f30357ddf0a12ff12221d417962ab8a9acad (diff) | |
More isatool->isabelle renamings and an (old) logic fix
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions