   (modify-syntax-entry ?{       "(}"    specware-mode-syntax-table)
   (modify-syntax-entry ?}       "){"    specware-mode-syntax-table)
   (modify-syntax-entry ?\*      ". 67"  specware-mode-syntax-table)
-  (modify-syntax-entry ?\"      "\""    specware-mode-syntax-table)
+  (modify-syntax-entry ?\"      "\"    " specware-mode-syntax-table)
+  (modify-syntax-entry ?\\      "\\   " specware-mode-syntax-table)
   (modify-syntax-entry ?        " "     specware-mode-syntax-table)
   (modify-syntax-entry ?\t      " "     specware-mode-syntax-table)
   (modify-syntax-entry ?\%      "<   "     specware-mode-syntax-table)

                    (current-column)
                  0)))))
         (t
          (let ((indent (sw:get-indent)))
            (cond
             ((looking-at "|")
              ;; Lets see if it is the follower of a function definition
              (if (sw:find-matching-starter
                   "\\bfun\\b\\|\\bfn\\b\\|\\band\\b\\|\\bhandle\\b")
                  (cond
                   ((looking-at "fun\\b") (- (current-column) sw:pipe-indent))
                   ((looking-at "fn\\b") (1+ (current-column)))
                   ((looking-at "and\\b") (1+ (1+ (current-column))))
                   ((looking-at "handle\\b") (+ (current-column) 5)))
                (+ indent sw:pipe-indent)))
             (t
              (if sw:paren-lookback    ; Look for open parenthesis ?
                  (max 
		   (if (looking-at "[])}]") (1- indent) indent)
		   (sw:get-paren-indent))
                indent))))))))))

(defun sw:get-indent ()
  (save-excursion

                   ((looking-at "{") (setq levelcurl (1+ levelcurl)))
                   ((looking-at "}") (setq levelcurl (1- levelcurl)))))
            (throw 'loop 0)))		; Exit with value 0
	(if (and (save-excursion
		   (goto-char origpoint)
		   (looking-at "[])}]")))
	    (1+ (current-column))
	  (if (save-excursion
		(forward-char 1)
		(and t ;(looking-at sw:indent-starters-reg)
		     (not (looking-at "\n"))
		     (progn (goto-char origpoint)
			    (not (sw:previous-line-ends-in-comma)))))
	      (1+ (+ (current-column) sw:indent-level))
	    (1+ (current-column))))))))

