History
Other Enhancements
Progress
- 2019 Aug. fix on the upgraded Github site.
- 2015 Jan. use jekyll-bootstrap for generating static files with the-program theme.
- 2014 Sep. initial writing in manual files.
Bug Fixes
- replace pygments with rouge for language highlighter, and kramdown for markdown, removed redcarpet for Github upgrade.
- pick the last changes from plusjade/jekyll-bootstrap in 2015 for jekyll 3.
- add ending slash in permalink to match
- change all http to https to avoid mixed content warning.
Site Organization
Compatibility updates