diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-12-01 13:34:02 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-12-01 13:34:02 +0000 |
| commit | e8c9e51c13f8f340804d85ae11a535e819428b88 (patch) | |
| tree | 4a30c1dfb44b8a5863f8eabd9b954d924522379d | |
| parent | 1c59ff6d82b1a8e1dfcd8e381d4037e0a5967ca7 (diff) | |
*** empty log message ***
| -rw-r--r-- | af2/af2-font.el | 2 | ||||
| -rw-r--r-- | af2/af2-fun.el | 9 | ||||
| -rw-r--r-- | af2/af2.el | 2 |
3 files changed, 4 insertions, 9 deletions
diff --git a/af2/af2-font.el b/af2/af2-font.el index 32586094..11b1dd8e 100644 --- a/af2/af2-font.el +++ b/af2/af2-font.el @@ -52,7 +52,7 @@ "\\(ath\\)\\|" "\\(r\\(" (concat - "\\(int_sort\\)\\|" + "\\(int\\(_sort\\)?\\)\\|" "\\(iority\\)\\|" "\\(op\\(osition\\)?\\)" "\\)\\)") diff --git a/af2/af2-fun.el b/af2/af2-fun.el index 6a0a20cd..bb6edab0 100644 --- a/af2/af2-fun.el +++ b/af2/af2-fun.el @@ -127,7 +127,7 @@ send a delete command to af2 for the symbol whose name is under the cursor." (setq start (point)) (forward-word 1) (setq end (point))) - (if (char-equal (char-after (- end 1)) ?.)(setq end (- end 1))) + (if (char-equal (char-after (- end 1)) ?\.)(setq end (- end 1))) (af2-delete-symbol (buffer-substring start end)))) ;; @@ -139,12 +139,7 @@ send a delete command to af2 for the symbol whose name is under the cursor." If inside a comment, just process until the start of the comment." (interactive) (message "test") - (if (or - (and (= (point) (point-max)) (= (char-before (point)) ?.)) - (and (not (proof-re-search-forward proof-script-command-end-regexp - (point-max) t)) - (proof-re-search-forward "\\.\\'" (point-max) t))) - (insert "\n")) + (if (and (> (point) 1) (char-equal (char-before (point)) ?\.)) (insert "\n")) (proof-with-script-buffer (proof-maybe-save-point (goto-char (proof-queue-or-locked-end)) @@ -117,7 +117,7 @@ "\\(prop\\|proposition\\|lem\\|lemma\\|fact\\|cor\\|corollary\\|theo\\|theorem\\)" af2-comments-regexp af2-ident-regexp) - proof-non-undoables-regexp "\\(constraints\\|flags\\|goals\\" + proof-ignore-for-undo-count "constraints\\|flags\\|goals\\|print\\|print_sort\\|eshow\\|search\\|priority\\|depend" proof-goal-with-hole-result 5 proof-save-with-hole-regexp (concat "save" |