added proof general; renamed personals; disabled html-5 and proof-general
added proof general; renamed personals; disabled html-5 and proof-general
renamed haskell-mode config; added transparency; reenabled proof-general