diff options
| author | David Aspinall | 2001-08-10 15:01:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-10 15:01:21 +0000 |
| commit | d0fff2b2fc369d14d6acfa92c650080ae1c9ae7a (patch) | |
| tree | ee3bebaad8946512b3b63fd2c5ce53ad3350e291 /ChangeLog | |
| parent | f99d0db65bcf7e7a26729a6242f8d3d85fe75e79 (diff) | |
Use proof-looking-at-syntactic-context function from proof-syntax, as suggested by Markus
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions