diff options
| author | David Aspinall | 2009-08-14 12:50:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:50:05 +0000 |
| commit | ab25d99ada5e00b5a91d1c04c594fe93f7ebc49f (patch) | |
| tree | 6b9495a4b2a7dbba8910a786658efe5a7b7469b3 /plastic | |
| parent | 86d27b50e103ac2cce25b9543e81d405ce061b9f (diff) | |
Rename proof-shell-process-output -> proof-shell-classify-output
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 1ed3333a..e15f708b 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -488,7 +488,7 @@ We assume that module identifiers coincide with file names." proof-shell-init-cmd plastic-process-config proof-shell-restart-cmd plastic-process-config pg-subterm-anns-use-stack nil - proof-shell-process-output-system-specific plastic-shell-process-output + proof-shell-classify-output-system-specific plastic-shell-process-output plastic-shell-current-line-width nil proof-shell-process-file |