diff options
| author | David Aspinall | 2010-09-22 09:32:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-22 09:32:48 +0000 |
| commit | 50244404d9f435ab03397430d687102e19f69639 (patch) | |
| tree | 4ded89f500f24eb3e3303602b68c90198c9a934d /pgshell/example.pgsh | |
| parent | d0a0383fca96944a5a4ad112d6bfa60e70e9b5d8 (diff) | |
Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions