diff options
| author | David Aspinall | 2007-12-14 15:40:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 15:40:14 +0000 |
| commit | 3908b4c33f5d7d6d9d335f6e8656823d88afb6ad (patch) | |
| tree | f5b1dcc0e06b523d2fb5cf1cff62bb03cb55b53d /hol98/example.sml | |
| parent | e2bce0cfa89a8d248199a1a2ab7407814676b0ec (diff) | |
Fix matching of quoted regions with empty lines
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions