| Sat, 10 Feb 2018 01:30:24 +0200 | Oleksandr Gavenko | Removed indentation that compiled into <blockquote>. | file | diff | annotate |
| Mon, 22 Feb 2016 13:52:03 +0200 | Oleksandr Gavenko | Remove HEADER.rst because that info now added to HTML template. | file | diff | annotate |
| Mon, 22 Feb 2016 13:34:55 +0200 | Oleksandr Gavenko | Fix my RST article style by 'check-format-policy' target. | file | diff | annotate |
| 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 |
| Thu, 16 Apr 2009 21:41:18 +0300 | Oleksandr Gavenko | About acl2. | file | diff | annotate |
| Thu, 16 Apr 2009 21:27:12 +0300 | Oleksandr Gavenko | Conference & competition. | file | diff | annotate |
| Thu, 16 Apr 2009 21:24:25 +0300 | Oleksandr Gavenko | pvs correction. | file | diff | annotate |
| Thu, 16 Apr 2009 21:18:40 +0300 | Oleksandr Gavenko | About TPTP. | file | diff | annotate |
| Sun, 12 Apr 2009 22:26:28 +0300 | Oleksandr Gavenko | Explain proof assistant. | file | diff | annotate |
| Sat, 28 Mar 2009 18:41:35 +0200 | Oleksandr Gavenko | auto proog system. | file | diff | annotate |