diff options
Diffstat (limited to 'phox/phox-fun.el')
-rw-r--r-- | phox/phox-fun.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/phox/phox-fun.el b/phox/phox-fun.el index 58771057..4acaa92d 100644 --- a/phox/phox-fun.el +++ b/phox/phox-fun.el @@ -30,8 +30,11 @@ send a compile command to PhoX for the theorem which name is under the cursor." phox-forget-new-intro-command "edel intro %s.\n" phox-forget-new-rewrite-command "edel rewrite %s.\n" phox-forget-close-def-command "edel closed %s.\n" +; phox-comments-regexp : a sequence of comments and white spaces phox-comments-regexp "[ \n\t\r]*\\((\\*\\([^*]\\|\\(\\*[^)]\\)\\)*\\*)[ \n\t\r]*\\)*" - phox-ident-regexp "\\(\\([^ \n\t\r=\\[.]\\|\\(\\.[^ \n\t\r]\\)\\)+\\)" +; phox-strict-comments-regexp : a not empty sequence of comments and white spaces + phox-strict-comments-regexp "\\([ \n\t\r]+\\((\\*\\([^*]\\|\\(\\*[^)]\\)\\)*\\*)[ \n\t\r]*\\)*\\)\\|\\(\\((\\*\\([^*]\\|\\(\\*[^)]\\)\\)*\\*)[ \n\t\r]*\\)+\\)" + phox-ident-regexp "\\(\\([^() \n\t\r=\\[.]\\|\\(\\.[^() \n\t\r]\\)\\)+\\)" phox-spaces-regexp "[ \n\t\r]*" phox-sy-definition-regexp (concat "\\(Cst\\|def\\)" |