au BufRead,BufNewFile *.why,*.mlw set filetype=why3