check out web-mode from github
Import web-mode
I don't actually use kill-completions, so bring the default quit key back!
ugh hardcoded paths
pointless reindent
As much as I love proof-general, I don't really care for the splash page.