diff options
| author | David Aspinall | 2001-08-10 12:56:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-10 12:56:15 +0000 |
| commit | 71e160c2934e0120c00cdfaad440099a3138b16f (patch) | |
| tree | 0c16f3ca81953256ebf17ce7f5d4da8b7e0dad7f /FAQ | |
| parent | a825ef971fedfd36d83538b368f1104171200ca5 (diff) | |
Change buffer-syntactic-context -> proof-buffer-syntactic-context
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions