 (defconst fstar-known-modules
   '((font-lock        . "Syntax highlighting")
     (prettify         . "Unicode math (e.g. display forall as ∀; requires emacs 24.4 or later)")
+    (subscripts       . #("Pretty susbcripts (e.g. display x1 as x1)" 39 40 (display (raise -0.3))))
     (indentation      . "Indentation (relative to previous lines)")
     (comments         . "Comment syntax and special comments ('(***', '(*+', etc.)")
     (flycheck         . "Real-time verification with Flycheck")

  "Disable F*-related font-locking."
  (when (buffer-live-p fstar--scratchpad)
    (kill-buffer fstar--scratchpad)))

;;; Syntax table


      ("!"
       (0 'fstar-dereference-face))
      (,(fstar--fl-conditional-matcher "[{}]" #'fstar--in-code-p)
       (0 'fstar-braces-face append)))))

(defconst fstar--scratchpad-name " *%s-scratchpad*")

