| Wed, 04 Jul 2012 20:52:21 +0300 | Oleksandr Gavenko | default-truncate-lines is depricated since 23.2. Set | changeset | files |
| Wed, 04 Jul 2012 20:46:57 +0300 | Oleksandr Gavenko | Set ps-paper-type. | changeset | files |
| Wed, 04 Jul 2012 20:45:21 +0300 | Oleksandr Gavenko | Set track-eol. | changeset | files |
| Mon, 02 Jul 2012 14:23:41 +0300 | Oleksandr Gavenko | Don't set view-read-only to 't' because of bug with gettext.el. | changeset | files |
| Sun, 01 Jul 2012 02:03:12 +0300 | Oleksandr Gavenko | Show "Archived-At" header for Gmane. | changeset | files |
| Wed, 27 Jun 2012 23:09:48 +0300 | Oleksandr Gavenko | Set encoding for '#debian-russian'. | changeset | files |
| Wed, 06 Jun 2012 23:28:41 +0300 | Oleksandr Gavenko | merged | changeset | files |
| Wed, 06 Jun 2012 23:28:22 +0300 | Oleksandr Gavenko | Disable shown consts in *goal* buffer. | changeset | files |
| Wed, 06 Jun 2012 23:26:29 +0300 | Oleksandr Gavenko | Add info to remember. | changeset | files |
| Sat, 02 Jun 2012 22:30:07 +0300 | Oleksandr Gavenko | Define key binding to send paragraph to SML process. | changeset | files |
| Fri, 01 Jun 2012 17:38:24 +0300 | Oleksandr Gavenko | Define key binding 'proof-goto-point' for .thy file. | changeset | files |
| Sat, 12 May 2012 21:33:24 +0300 | Oleksandr Gavenko | Set isar-display:show-types and isar-display:show-brackets. | changeset | files |
| Wed, 09 May 2012 23:28:38 +0300 | Oleksandr Gavenko | Add Proof General settings. | changeset | files |
| Fri, 06 Apr 2012 20:05:16 +0300 | Oleksandr Gavenko | Do not mark directories as temp files. | changeset | files |
| Tue, 28 Feb 2012 21:05:40 +0200 | Oleksandr Gavenko | Comment customising of 'enable-recursive-minibuffers' (use for example purpose). | changeset | files |