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.