diff options
| author | David Aspinall | 2008-01-29 20:28:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 20:28:05 +0000 |
| commit | 48b353c269908b39fe7efab53f6f95c1a3aa9c2c (patch) | |
| tree | 5d4ea0693a24d70bb0006ff9117467149747edc8 /pgshell | |
| parent | e39908c5e5126623ace0e9615b74e692ce9dc00d (diff) | |
isar-undos: fix bug trac #189 introduced by attempt to remove proof-no-command.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions