Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Jul 24, 2014
  1. Update Emacs config files.

    authored
Commits on Apr 2, 2014
  1. Warnings found by emacs.

    authored
Commits on Apr 1, 2014
  1. Custom fixes

    authored
Commits on Mar 15, 2014
  1. Clean up the configuration file base.

    authored
    This is going to take a lot of time to get right...
Commits on Aug 9, 2013
  1. Enable org-mode.

    authored
Commits on Jul 22, 2013
  1. Add the ability to run the mouse as an Acme-mouse.

    authored
    This should probably be hacked some more to make it more like the
    Acme-mouse, but this is close enough for now.
Commits on Jul 19, 2013
  1. OSX updates.

    authored
Commits on Jul 9, 2013
  1. Use Consolas on Linux.

    authored
Commits on Jun 28, 2013
  1. Fix the font, by resizing it up a bit.

    authored
    The other font setting was smaller, but I am not too sure I liked it as much as this setting.
Commits on Jun 2, 2013
  1. Run Auctex.

    authored
Commits on May 30, 2013
Commits on May 28, 2013
  1. Introduce er/expand-region

    authored
Commits on May 25, 2013
  1. Change theme to solarized-light

    authored
Commits on May 23, 2013
  1. Enable the tomorrow theme.

    authored
Commits on May 22, 2013
  1. Tweak font size a little bit.

    authored
Commits on May 21, 2013
  1. Change default font.

    authored
Commits on May 20, 2013
  1. Fix font and archives.

    authored
    Improve the font section and the archive section.
  2. Go to a size a tad higher up the chain.

    authored
    It looks a bit better and is easier to read. On the other hand the
    price is that we have a couple less lines we can see, but that screen
    estate is mostly taken up by other stuff.
Commits on May 19, 2013
  1. Hack "Source Code Pro" a bit in height.

    authored
    This matches way better than the other setting I've had.
Commits on May 18, 2013
  1. Change themes to be fetched via el-get.

    authored
    This simplifies a lot of things since el-get can now provide the data
    sources rather than being provided from ourselves.
  2. More cleanup being done.

    authored
  3. Update with new stuff.

    authored
Commits on May 16, 2013
  1. More spring cleaning.

    authored
  2. Spring cleaning.

    authored
Commits on Sep 5, 2012
  1. Tomorrow theme.

    authored
Commits on Aug 6, 2012
  1. Update Emacs configuration.

    authored
Commits on May 21, 2012
  1. Get in distel

    authored
Commits on May 17, 2012
  1. Do not init agda2 mode.

    authored
Commits on Apr 10, 2012
  1. Install ace-jump-mode.

    authored
Commits on Mar 10, 2012
Something went wrong with that request. Please try again.