diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
tree | a2419396d62c3342e73e44099b8745d3201d09c7 /phox/phox.el | |
parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
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" |