diff options
| author | David Aspinall | 2009-09-15 08:40:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-15 08:40:00 +0000 |
| commit | 815cadebd99cd25dc78be6e2ba3af177c4140ebd (patch) | |
| tree | 9c0e533c5af12fbd0412307051bb72cd618bf300 | |
| parent | effe0e80d42af72da945cb768497cde263633ff2 (diff) | |
Fix doc
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index fb3b7c74..6e2ba2ff 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -936,7 +936,7 @@ being processed." If START is non-nil, START and END are buffer positions in the active scripting buffer for the queue region. -This function calls `proof-append-alist'." +This function calls `proof-add-to-queue'." (if start (proof-set-queue-endpoints start end)) (proof-add-to-queue queueitems)) |