diff options
| author | David Aspinall | 2012-01-19 13:23:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-01-19 13:23:56 +0000 |
| commit | 7a99657374311fe12ca35c92411f46ad0d594ea8 (patch) | |
| tree | 8a510ab4a2116ae8c8a0e68d14a5b282383fb69b /generic/proof-tree.el | |
| parent | 05259143d11796175d84535bbe3211ea963b4cf9 (diff) | |
Typo
Diffstat (limited to 'generic/proof-tree.el')
| -rw-r--r-- | generic/proof-tree.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-tree.el b/generic/proof-tree.el index 1f4bd208..6a34d919 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -272,7 +272,7 @@ function should return nil and prooftree will not get updated." "Proof assistant specific function for the start of the current proof. This function is called with no argument when the user switches the external proof-tree display on. Then, this function must -determin if there is a currently unfinished proof for which the +determine if there is a currently unfinished proof for which the proof-tree display should be started. If yes this function must return the starting position of the command that started this proof. If there is no such proof, this function must return nil." |