diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 17:54:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 17:54:43 +0000 |
| commit | 9e687f7e1a7a6c2f4cc916aea2c6c0a153d9900c (patch) | |
| tree | b42c71973a5447e3e7f320b3070bb694c1320eff /phox | |
| parent | 5d91731fe1f2fb4d371f40c644d78b09ed4641a0 (diff) | |
Remove non-existent proof-state-command setting
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/phox/phox.el b/phox/phox.el index 88d4588a..759e93f9 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -111,7 +111,6 @@ proof-script-command-end-regexp "[.]\\([ \t\n\r]\\)" proof-script-comment-start "(*" proof-script-comment-end "*)" - proof-state-command "goals." proof-goal-command-regexp "\\`\\(Local[ \t\n\r]+\\)?\\(goal[ \t\n\r]\\|pro\\(p\\(osition\\)?\\|ve_claim\\)\\|lem\\(ma\\)?\\|fact\\|cor\\(ollary\\)?\\|theo\\(rem\\)?\\)" proof-save-command-regexp "\\`save" |