.emacs-my
Sat, 12 May 2012 21:33:24 +0300 Oleksandr Gavenko Set isar-display:show-types and isar-display:show-brackets.
less more (0) -300 -100 -30 -10 -1 tip