运行M-x company-coq-tutorial时，我遇到了教程中的以下说明：
(* Run the following snippet, then try typing ‘plus’ *)
SearchAbout eq.
我假设它应该Search eq.在较新版本的 Coq 中。
我如何“运行”这个片段？教程是否要我转到下面的行Search eq.并按C-c C-RET，还是我应该做的其他事情？
问问题
17 次
运行M-x company-coq-tutorial时，我遇到了教程中的以下说明：
(* Run the following snippet, then try typing ‘plus’ *)
SearchAbout eq.
我假设它应该Search eq.在较新版本的 Coq 中。
我如何“运行”这个片段？教程是否要我转到下面的行Search eq.并按C-c C-RET，还是我应该做的其他事情？