]>
2019-02-15 | Julien Moutinho | Update to megaparsec-7 and new symantic-xml | blob | commitdiff | raw |
2018-12-25 | Julien Moutinho | XML: use symantic-xml | blob | commitdiff | raw | diff to current |
2018-10-26 | Julien Moutinho | Move <judgment/> into <about/>. | blob | commitdiff | raw | diff to current |
2018-05-16 | Julien Moutinho | Rename Language -> Hdoc. | blob | commitdiff | raw | diff to current |