| 2018-02-09 | Oleksandr Gavenko | Removed indentation that compiled into <blockquote>. | file | diff | annotate |
| 2016-02-22 | Oleksandr Gavenko | Remove HEADER.rst because that info now added to HTML template. | file | diff | annotate |
| 2016-02-22 | Oleksandr Gavenko | Fix my RST article style by 'check-format-policy' target. | file | diff | annotate |
| 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 |