changing the key binding for lax mode checking, as it was interfering with ctrl-l, the new key binding is C-c C-l
changing the key binding for lax mode checking, as it was interfering with ctrl-l, the new key binding is C-c C-l

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el