New modes.
Hard limit on 80 char lines is distracting.
Disable agda mode.
Use the right ispell executable for os x.
Directory changes for OS X.
Change default emacs font.
elisp functions to help with perforce.