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