New page on the wiki: Emacs tips and tricks

Richard Eisenberg eir
Tue Oct 8 12:34:15 UTC 2013

Done. Thanks for setting this up!

On Oct 8, 2013, at 4:01 AM, Jan Stolarek <jan.stolarek at> wrote:

> Hi all,
> I created a wiki page that gathers useful Emacs configuration:
> My intention for this page was to be as self contained as possible, so that you can just 
> copy-paste configuration to your .emacs file and benefit from it instantly (well, after 
> restarting Emacs or reloading config). I'm sure many of you also have interesting configuration 
> and usage tips to share.
> Richard, on the Newcomers page you mentioned that you have hotkeys for building GHC and searching 
> the codebase - could please tell us how to do this?
> Janek

More information about the ghc-devs mailing list