Switch agenda view when clocking in/out of work
Show directory info in shell prompt
Tweak todo keywords
delete 'hello'
Show git untracked status in eshell prompt
Add -non-null
add proofgeneral submodule
Add basic coq config
Make proof-mode derive from prog-mode
Improve coq m-ret
Configure smart-parens for Coq
Customise proof faces
undefine proof completion so iedit is retained
do not show splash screen for proofgeneral
add coq snippets
fixup! Make proof-mode derive from prog-mode
Add coq response buffer to popwin