2019-02-19 | Richard Levitte | Fixup internal documentation | blob | commitdiff | raw |
2019-02-18 | Richard Levitte | Conform to proper NAME section format | blob | commitdiff | raw | diff to current |
2019-02-18 | Richard Levitte | Property: naming and manual clarifiations | blob | commitdiff | raw | diff to current |
2019-02-18 | Pauli | Properties for implementation selection. | blob | commitdiff | raw | diff to current |