]>
2018-10-07 | Julien Moutinho | Fix HTML5 rendering of external references. | tree | commitdiff |
2018-06-22 | Julien Moutinho | Renames in XML, to use it qualified. | tree | commitdiff |
2018-06-12 | Julien Moutinho | Add Majority Judgment support. | tree | commitdiff |
2018-05-16 | Julien Moutinho | Rename Language -> Hdoc. | tree | commitdiff |