isabelle.rst
Mon, 22 Feb 2016 13:52:03 +0200 Oleksandr Gavenko Remove HEADER.rst because that info now added to HTML template.
Mon, 22 Feb 2016 12:46:36 +0200 Oleksandr Gavenko Include only local subsections into TOC. This prevent duplication of
Fri, 13 Jul 2012 22:32:19 +0300 Oleksandr Gavenko Include common header with quick links.
Fri, 14 Oct 2011 00:52:40 +0300 Oleksandr Gavenko Isabelle.
less more (0) tip