diff options
| author | David Aspinall | 2012-01-09 16:11:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-01-09 16:11:02 +0000 |
| commit | f74a9efeb59b7ea8150fea829c3f092a18c44352 (patch) | |
| tree | b316de0eece726f2a18ffe80a519e40d852d52d0 /FAQ | |
| parent | a5546dff72259d03360e54e8c7de0f070c554e03 (diff) | |
proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start
at *start* of proof-shell-start-goals-regexp.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions