On Thu, 17 Aug 2023 13:00:40 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> What about `<i>semi-monotonic</i>` on L.80? Does it deserve to be tagged as > `<dfn>` and indexed? Good idea; added. The term "IEEE 754" is already index from various section titles so I didn't add an index item for that explicitly. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15322#issuecomment-1682670512
