From 9e687f7e1a7a6c2f4cc916aea2c6c0a153d9900c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 Mar 2004 17:54:43 +0000 Subject: Remove non-existent proof-state-command setting --- phox/phox.el | 1 - 1 file changed, 1 deletion(-) (limited to 'phox') 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" -- cgit v1.2.3