To understand what Command window, State window, Theorems window, etc
mean, you should have a look at the section describing
all the windows of CtCoq. In this page,
the mouse bindings are grouped following the windows in which they are
valid. A more thematic organization can follow the following main ideas:
editing, proof by
pointing and point and shoot,
drag and drop rewrite,
script management, and
natural language presentation of proofs.
Text Editing Mode
For more information on the text editing mode see the
page on editing.
Mouse bindings common to all windows
More information on these bindings is also given in the section on editing.
Mouse bindings in the Command
Mouse bindings common to the State, Theorems
and Library Fragment windows
Mouse bindings for the State
and Theorems windows
Mouse bindings in the State windows
Mouse bindings in the Library Fragment windows