diff options
Diffstat (limited to 'phox/phox.el')
| -rw-r--r-- | phox/phox.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/phox/phox.el b/phox/phox.el index 5c5674ed..375272de 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -27,15 +27,15 @@ proof-script-comment-start "(*" proof-script-comment-end "*)" proof-script-syntax-table-entries - '(?( "()1" - ?) ")(4" + '(?\( "()1" + ?\) ")(4" ?* ". 23" ?$ "w" ?_ "w" ?. "w") proof-shell-syntax-table-entries - '(?( "()1" - ?) ")(4" + '(?\( "()1" + ?\) ")(4" ?* ". 23" ?$ "w" ?_ "w" |