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? _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
