Assign proof-goto-point to 'C-c C-j'
Disappear menu bar
Add line highlight only X
Add Haskell indentation