diff options
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" |