[Ur] emacs mode

[Adam Chlipala]

Gergely Buday wrote:
>> Is there something in particular that you're wondering how to do?
>>      
> I have never used sml-mode, so it would be nice to have a list of
> commands. I am not familiar with emacs-lisp either. How can I identify
> the commands from the source code? I guess the names are
> self-explaining.
>    

I never use any of the commands.  I just press tab to get 
auto-indentation (or sometimes I highlight a region and indent it all at 
once with ctrl+alt+backslash), and syntax highlighting happens 
automatically if you're in font-lock-mode.