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.
Oleksandr Gavenko <gavenkoa@gmail.com> [Wed, 09 May 2012 23:28:38 +0300] rev 870
Add Proof General settings.
Oleksandr Gavenko <gavenkoa@gmail.com> [Fri, 06 Apr 2012 20:05:16 +0300] rev 869
Do not mark directories as temp files.
Oleksandr Gavenko <gavenkoa@gmail.com> [Tue, 28 Feb 2012 21:05:40 +0200] rev 868
Comment customising of 'enable-recursive-minibuffers' (use for example purpose).