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 12:46:36 +0200 | Oleksandr Gavenko | Include only local subsections into TOC. This prevent duplication of | file | diff | annotate |
Fri, 13 Jul 2012 22:32:19 +0300 | Oleksandr Gavenko | Include common header with quick links. | file | diff | annotate |
Wed, 06 Jun 2012 00:07:32 +0300 | Oleksandr Gavenko | About Standard ML. | file | diff | annotate |