Category: Ikke kategoriseret
Protected: An Open Letter to Sony
Coq Cheatsheet for Emacs!
This is really just something for myself, but by all means, if you can use it go ahead!
– and don’t be selfish about leaving your favourite shortcut in the comments!
See definition of a previously defined Lemma: – move the cursor to the lemma zxy
and type
C-c C-a C-b
The mini-buffer will then display
About (default foo):
and you can hit return to see the definition in the *response* buffer
Go to a definition of a Lemma defined in the same buffer:
C-x 2 C-r zxy
to jump to the definition of zxy