diff options
| author | David Aspinall | 2000-09-28 09:17:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 09:17:13 +0000 |
| commit | ec9e2042954cc587686851b37568e19fc72d6fe9 (patch) | |
| tree | 474abadf6164a66902c784b94a489c67afe2f201 /doc | |
| parent | f5b76a18babb6c6f0f4c4db33d60ac1d98a815f6 (diff) | |
Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Tweaks to proof-script-generic-parse-cmdstart. Combine fly-past and coelesce comment options. Use proof-string-match-safe in generic-goal-command-p, to avoid error in Twelf.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions