Coqのコメントアウトの方法

ドキュメントによると

(* コメントアウトは (* と *) で囲む *)
(*
  (*
    ネストもできるらしい
  *)
*)

Cみたいな一行コメントアウトの // は見当たらなかった。こういうのがあると、サッとコメントアウトするときは便利なのだけれど。

めんどくさいのでsmartchrとかkey-comboの設定を時間を見つけて作りたい。