.emacs-my
Fri, 01 Jun 2012 17:38:24 +0300 Oleksandr Gavenko Define key binding 'proof-goto-point' for .thy file.
less more (0) -300 -100 -30 -10 -1 tip