diff options
| author | David Aspinall | 1999-01-27 17:39:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-27 17:39:53 +0000 |
| commit | 7a0f9b6506a1c903c2d512fd8cd2d0fd1594d3bf (patch) | |
| tree | be43523365f14ee98c8dff557327408a7f88e398 /generic/proof-script.el | |
| parent | be5687fa3a41c415e3a71529efa90425b513d103 (diff) | |
Added TODO for syntax matching problem.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions