| Wed, 20 Jul 2011 10:54:41 +0300 | Oleksandr Gavenko | Set fill-column as directory local var. | file | diff | annotate |
| Sat, 04 Dec 2010 17:10:45 +0200 | Oleksandr Gavenko | Fix Emacs settings. | file | diff | annotate |
| Sat, 18 Apr 2009 16:09:23 +0300 | Oleksandr Gavenko | About HOL Light. | file | diff | annotate |