Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix spelling etc. for documentation | sternenseemann | 2020-05-19 | 1 | -2/+2 |
* | generate index.html of html docs from mld file | sternenseemann | 2020-05-19 | 1 | -1/+1 |
* | minor fixes in README | sternenseemann | 2020-05-19 | 1 | -1/+2 |
* | add installation instructions | sternenseemann | 2020-05-13 | 1 | -0/+9 |
* | don't wrap text with <p> by default as default “markup” | sternenseemann | 2020-05-13 | 1 | -0/+3 |
* | update, correct and elaborate README | sternenseemann | 2020-05-13 | 1 | -17/+163 |
* | Fix build errors due to pkg updates, switch to dune | sternenseemann | 2020-04-23 | 1 | -2/+1 |
* | Correct pin target | sternenseemann | 2017-02-18 | 1 | -1/+1 |
* | Introduce logbook command line for generating HTML files of log files | sternenseemann | 2017-02-17 | 1 | -2/+7 |
* | Add example log file, clarify TODOs | sternenseemann | 2017-02-14 | 1 | -0/+16 |
* | Adjust README | sternenseemann | 2017-02-14 | 1 | -32/+2 |
* | Initial commit | sternenseemann | 2017-02-14 | 1 | -0/+37 |