Gergely Buday wrote: > is there a user's guide for the urweb emacs mode? > Not that I'm aware of. I don't think it presents any nonstandard commands (that I ever use, at least; I based it on sml-mode, so you have whatever was in there!). Is there something in particular that you're wondering how to do?