diff options
| author | David Aspinall | 1999-11-13 13:54:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-13 13:54:00 +0000 |
| commit | ed8873cdabc7d0348dbb1db8b71a06c75df3998b (patch) | |
| tree | 580a7d26bfd3593bd1d9fc4924e094c1a901e64e /generic | |
| parent | 948b8bd7a59b7c35552cb0f4a5b95ee8574f5686 (diff) | |
Call proof-goals-config-done properly.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions