Skip to content
Permalink
Branch: master
Commits on Dec 4, 2019
  1. Text adjustments/fixes.

    lapets committed Dec 4, 2019
  2. Merge remote-tracking branch 'origin/gh-pages'

    lapets committed Dec 4, 2019
Commits on Sep 17, 2017
  1. Add DNS entry for GitHub page.

    lapets committed Sep 17, 2017
Commits on Mar 18, 2017
Commits on Feb 8, 2017
Commits on Feb 6, 2017
  1. Avoid certain HTML errors.

    lapets committed Feb 6, 2017
  2. Fix spacing.

    lapets committed Feb 6, 2017
  3. No longer using XHTML.

    lapets committed Feb 6, 2017
Commits on Sep 5, 2016
  1. Some adjustments to table of contents and heading styling.

    lapets committed Sep 5, 2016
  2. Add sheaf link styling.

    lapets committed Sep 5, 2016
Commits on Aug 16, 2016
Commits on Aug 14, 2016
Commits on Aug 13, 2016
Commits on Aug 12, 2016
  1. Handle included assignments properly; render TOC for included content.

    lapets committed Aug 12, 2016
    Also avoids recalculating XML path leaf when it is available directly as
    the tag name.
  2. Add support for including another sheaf file inside a file.

    lapets committed Aug 12, 2016
    The included file is loaded and processed in sequence at the time of
    rendering.
Older
You can’t perform that action at this time.