Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 06 Jul 2012 21:38:16 +0300] rev 885
Don't show all man page. I set man switches to "-a"...
Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 06 Jul 2012 21:33:55 +0300] rev 884
Use cperl instead perl mode.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 04 Jul 2012 20:56:55 +0300] rev 883
Set read-buffer-completion-ignore-case.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 04 Jul 2012 20:52:21 +0300] rev 882
default-truncate-lines is depricated since 23.2. Set
truncate-partial-width-windows.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 04 Jul 2012 20:46:57 +0300] rev 881
Set ps-paper-type.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 04 Jul 2012 20:45:21 +0300] rev 880
Set track-eol.
Oleksandr Gavenko <gavenkoa@gmail.com> [Mon, 02 Jul 2012 14:23:41 +0300] rev 879
Don't set view-read-only to 't' because of bug with gettext.el.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sun, 01 Jul 2012 02:03:12 +0300] rev 878
Show "Archived-At" header for Gmane.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 27 Jun 2012 23:09:48 +0300] rev 877
Set encoding for '#debian-russian'.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 06 Jun 2012 23:28:41 +0300] rev 876
merged
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 06 Jun 2012 23:28:22 +0300] rev 875
Disable shown consts in *goal* buffer.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 06 Jun 2012 23:26:29 +0300] rev 874
Add info to remember.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 02 Jun 2012 22:30:07 +0300] rev 873
Define key binding to send paragraph to SML process.
Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 01 Jun 2012 17:38:24 +0300] rev 872
Define key binding 'proof-goto-point' for .thy file.
Oleksandr Gavenko <gavenkoa@gmail.com> [Sat, 12 May 2012 21:33:24 +0300] rev 871
Set isar-display:show-types and isar-display:show-brackets.