aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Remove github link from websiteHEADmasterYann Herklotz2022-02-261-7/+2
* Update the weight on the manualYann Herklotz2022-02-261-1/+1
* Add manual in the menu tabYann Herklotz2022-02-261-0/+5
* Add proper documentationYann Herklotz2022-02-263-575/+19
* Update name of contentYann Herklotz2022-02-262-1/+1
* Remove gh-pages build from GithubYann Herklotz2022-02-231-37/+0
* Merge commit '6f5f8eb927ba140a7700413332b4d1793e5ccddc' as 'themes/book'Yann Herklotz2022-02-23215-0/+6007
|\
| * Squashed 'themes/book/' content from commit 98d19b8Yann Herklotz2022-02-23215-0/+6007
* Remove 'themes/book' submoduleYann Herklotz2022-02-232-3/+0
* Move metadata into setup.orgYann Herklotz2022-02-231-1/+1
* Update dependencies and remove --no-initYann Herklotz2022-01-052-2/+4
* Fix links again and add categoryYann Herklotz2022-01-051-4/+4
* Update the build scriptYann Herklotz2022-01-041-1/+1
* Try updating linkYann Herklotz2022-01-041-2/+2
* Update publish.el with newer dependenciesYann Herklotz2022-01-041-2/+3
* Remove link macroYann Herklotz2022-01-042-15/+9
* Update monospace font sizeYann Herklotz2022-01-041-0/+1
* Update location of contentYann Herklotz2022-01-041-0/+4
* Update the themeYann Herklotz2022-01-041-0/+0
* Update colors some moreYann Herklotz2022-01-042-16/+7
* Update CSS to make background lighterYann Herklotz2022-01-042-15/+15
* Add export with broken linksYann Herklotz2021-12-252-2/+3
* Add .build.yml for sr.htYann Herklotz2021-12-251-0/+23
* Add capitalisationYann Herklotz2021-12-231-2/+2
* Update documentation with new git repositoryYann Herklotz2021-12-232-2/+14
* Add creative commons license for contentYann Herklotz2021-12-091-0/+395
* Add READMEYann Herklotz2021-12-091-0/+1
* Add aliasesYann Herklotz2021-10-091-1/+1
* Update the date of the blog postYann Herklotz2021-10-091-1/+1
* Update linkYann Herklotz2021-10-091-1/+1
* Update the paper with camera ready versionYann Herklotz2021-10-091-0/+0
* Update custom css and add to readmeYann Herklotz2021-10-092-1/+4
* Add first blog postYann Herklotz2021-10-091-3/+4
* Add to the svgYann Herklotz2021-10-091-1930/+1936
* Add more to blog postYann Herklotz2021-10-071-0/+88
* Add flow diagramYann Herklotz2021-09-232-3/+2531
* Add documentation.orgYann Herklotz2021-09-223-9/+1234
* Edit the current list of featuresYann Herklotz2021-09-201-2/+2
* Remove external linkYann Herklotz2021-09-201-1/+1
* Fix font size of figure captionsYann Herklotz2021-09-191-0/+4
* Center all imagesYann Herklotz2021-09-194-1/+1256
* Update Vericert websiteYann Herklotz2021-09-1911-41/+223
* Add custom_id to titlesYann Herklotz2021-09-192-3/+5
* Add headersYann Herklotz2021-09-192-3/+7
* Merge branch 'master' of github.com:ymherklotz/vericert-docs into HEADYann Herklotz2021-09-191-1/+1
|\
| * Merge remote-tracking branch 'origin/master'Yann Herklotz2021-09-1914-24/+866
| |\
| * | Add randomYann Herklotz2021-09-191-1/+33
* | | Add factoring out of documentationYann Herklotz2021-09-193-119/+141
| |/ |/|
* | Remove org-contribYann Herklotz2021-09-151-1/+0
* | Fix github pagesYann Herklotz2021-09-152-2/+1