diff options
| author | David Aspinall | 2000-06-06 14:15:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-06 14:15:31 +0000 |
| commit | 2598fbd7227efb7038af5d54adead2ce784a530c (patch) | |
| tree | c35f6abcff84c8fc7926d86b783e5442580855e2 /html | |
| parent | 193adb101d6c0eb6c1e7d73835ba25b0807faa09 (diff) | |
Added special hack for Isar to include proof-terminal-char in sent string.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions