Wed, 06 Jun 2012 23:26:29 +0300 Oleksandr Gavenko Add info to remember.
Sat, 02 Jun 2012 22:30:07 +0300 Oleksandr Gavenko Define key binding to send paragraph to SML process.
Fri, 01 Jun 2012 17:38:24 +0300 Oleksandr Gavenko Define key binding 'proof-goto-point' for .thy file.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip