Enabling the transformation from NaBL to Coq in the menu.