Add ProofGeneral
Don't let me save elisp files with unbalanced parens
Add rnc-mode recipe
Update repo type/address for tramp recipe
Add a few explicit mailing list addresses for gmane posting
Stop doing imap search by default with nnir
Update nnir summary lines to include score.  Probably should revert this
Try using swish-e with Gnus
Stop trying to index mail when Org links are stored.
Use request-feature instead of ignore-errors
Update code for archiving done tasks
Enable unicode for coq
Move the diary file to a more suitable location
Stop using ido everywhere
Grab a bunch of JW's Org config
Update safe themes and local vars
options sorting
Add my own org-habit face.
Make helm-gtags more resilient
Turn off some custom gtags bindings