| 2011-07-20 | Oleksandr Gavenko | Set fill-column as directory local var. | file | diff | annotate |
| 2010-12-04 | Oleksandr Gavenko | Fix Emacs settings. | file | diff | annotate |
| 2009-04-18 | Oleksandr Gavenko | About HOL Light. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | About acl2. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | Conference & competition. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | pvs correction. | file | diff | annotate |
| 2009-04-16 | Oleksandr Gavenko | About TPTP. | file | diff | annotate |
| 2009-04-12 | Oleksandr Gavenko | Explain proof assistant. | file | diff | annotate |
| 2009-03-28 | Oleksandr Gavenko | auto proog system. | file | diff | annotate |