Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-02-16 | Adopt a literate programming approach for the configuration | Thomas Letan | |
2020-02-15 | Make the website 3rd-party free and improve loading performance | Thomas Letan | |
- Use webp in place of a regular png - Lazy loading of CSS files (compatible with javascript-less browsers) - KaTeX in place of MathJax - Minified CSS (using sass) - Vendoring fonts, scripts, and CSS. | |||
2020-02-14 | Provide an index page for write-ups with more value | Thomas Letan | |
2020-02-05 | Make the output of `make` cleaner | Thomas Letan | |
2020-02-05 | Fix link to locally defined terms in coqdoc output | Thomas Letan | |
2020-02-05 | Keep the list of html files to ignore up-to-date when building | Thomas Letan | |
2020-02-04 | Initial commit with previous content and a minimal theme | Thomas Letan | |