diff options
| author | David Aspinall | 2004-09-14 07:57:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-09-14 07:57:31 +0000 |
| commit | 838cbe33a5caf6a1cad7372be249293103d87828 (patch) | |
| tree | 0c165d555ec46e5d3fe2ac765d5b223325400191 /generic | |
| parent | 28297951d083515fdbd9e6ab61d5199c1bbe21e1 (diff) | |
Add spaces after setting commands to separate. Temporarily disable print-only-first-subgoal.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions