Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2012-11-09 | [ci skip] Polish docs in user_guide_src/source/general/ | Andrey Andreev | 1 | -1/+1 | |
2011-10-10 | unhid general topics ToC for navigation | Derek Jones | 1 | -1/+0 | |
2011-10-10 | Merge branch 'feature/userguide-toc' into develop | Derek Jones | 1 | -34/+28 | |
Conflicts: user_guide_src/source/_themes/eldocs/layout.html user_guide_src/source/general/index.rst user_guide_src/source/index.rst | |||||
2011-10-10 | incremental improvement to user guide ToC | Derek Jones | 1 | -3/+29 | |
2011-10-07 | Fix some user guide style | purwandi | 1 | -1/+34 | |
2011-10-05 | replacing the old HTML user guide with a Sphinx-managed user guide | Derek Jones | 1 | -0/+6 | |