aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMakarius Wenzel1999-11-17 14:18:19 +0000
committerMakarius Wenzel1999-11-17 14:18:19 +0000
commitaf74656b7755be523e9e154184db1a89a175ffa1 (patch)
tree0169eab1aaca3cd157e48b94e3fbb91129b7b25f
parent175e664facf85117f99d351dea71a40411aecd16 (diff)
cleaned;
-rw-r--r--isar/isar.el18
1 files changed, 9 insertions, 9 deletions
diff --git a/isar/isar.el b/isar/isar.el
index 3bc2a939..c2473a8f 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -87,14 +87,14 @@
(defvar isar-shell-outline-regexp "\370[ \t]*\\([0-9]+\\)\\.")
(defvar isar-shell-outline-heading-end-regexp "$")
-(defun isar-outline-setup ()
- (if (and window-system (string-match "XEmacs" emacs-version))
- (progn
- (custom-set-variables ;custom value dictatorship!
- '(outline-mac-style t))
- (outl-mouse-minor-mode))
- (outline-minor-mode)))
-
+;(defun isar-outline-setup ()
+; (if (and window-system (string-match "XEmacs" emacs-version))
+; (progn
+; (custom-set-variables ;custom value dictatorship!
+; '(outline-mac-style t))
+; (outl-mouse-minor-mode))
+; (outline-minor-mode)))
+;
; FIXME tmp
(defun isar-outline-setup () t)
@@ -143,7 +143,7 @@
(cmt-end-regexp (regexp-quote proof-comment-end))
(cmt-start-regexp (regexp-quote proof-comment-start))
(found-header nil) forward-amount
- (end (point-max)) (cont t) (cmt-level 0))
+ (end (point-max)) (cont t) (cmt-level 0) c)
(save-excursion
(goto-char (point-min))
(while (and cont (< (point) end))