2021-12-18 | Claire Xenia Wolf | Improvements and cleanups in tasks handling Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-12-17 | Claire Xenia Wolf | Fixed [tasks] section parsing Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-12-17 | Claire Xenia Wolf | Add inductive invariants example Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-12-17 | Claire Xenia Wolf | Add ":"-syntax for [tasks] section Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-11-30 | Claire Xenia Wolf | Update docs theme Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-11-29 | Claire Xenia Wolf | Update docs theme Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-11-26 | Claire Xenia Wolf | update docs theme Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-10-31 | Claire Xenia Wolf | Add support for directories in [files] section Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-10-31 | Claire Xenia Wolf | Fixed names and links |
commit | commitdiff | tree |
2021-05-21 | Claire Xenia Wolf | Update docs conf.py Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |
2021-05-21 | Claire Xenia Wolf | New docs conf.py Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> |
commit | commitdiff | tree |