From af74656b7755be523e9e154184db1a89a175ffa1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 17 Nov 1999 14:18:19 +0000
Subject: cleaned;

---
 isar/isar.el | 18 +++++++++---------
 1 file 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))
-- 
cgit v1.2.3