| 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 |