New page on the wiki: Emacs tips and tricks
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 p.lodz.pl> 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?
More information about the ghc-devs