diff src/elisp/urweb-mode.el @ 1497:0b639858200b

Tutorial tweaks
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 18:45:03 -0400
parents c316ca3c9ec6
children 2f9b7382dd1d
line wrap: on
line diff
--- a/src/elisp/urweb-mode.el	Fri Jul 15 17:31:57 2011 -0400
+++ b/src/elisp/urweb-mode.el	Fri Jul 15 18:45:03 2011 -0400
@@ -181,13 +181,11 @@
          ((save-excursion (backward-char 1) (or (looking-at "=>")
                                                 (looking-at "->")
                                                 (looking-at "<>")))
-          nil)
+          (setq finished t))
          ((or (looking-at "< ") (looking-at "<="))
           nil)
          ((looking-at "<")
           (setq finished t))
-         ((save-excursion (backward-char 1) (looking-at " >"))
-          nil)
          ((looking-at ">")
           (cond
            ((> depth 0)