view src/elisp/urweb-mode-startup.el @ 1554:396e8d881205

Better detection of type class witnesses in local bindings
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 08:57:13 -0400
parents 3a1e36b14105
children
line wrap: on
line source

;;; Generated autoloads from urweb-mode.el
 (add-to-list 'load-path (file-name-directory load-file-name))

(add-to-list (quote auto-mode-alist) (quote ("\\.ur\\(s\\)?\\'" . urweb-mode)))

(autoload (quote urweb-mode) "urweb-mode" "\
\\<urweb-mode-map>Major mode for editing Ur/Web code.
This mode runs `urweb-mode-hook' just before exiting.
\\{urweb-mode-map}

\(fn)" t nil)

;;;***

;;;### (autoloads nil nil ("urweb-compat.el" "urweb-defs.el"
;;;;;;  "urweb-util.el") (18072 34664 948142))

;;;***