v1.47.0

1.47.0 (2022-07-08)

Features

• gui: format code blocks in documentation (#933) (41cb0f4)

v1.46.0

1.46.0 (2022-07-08)

Features

• gui: boundaryform default value is now x >= 0, no upper limit (#944) (00e6718)

v1.45.0

1.45.0 (2022-07-08)

Features

• usage information in selection view (#942) (c079b9a)

v1.44.4

1.44.4 (2022-07-08)

Bug Fixes

• gui: is:done filter crashes app (#943) (92c93dc)

v1.44.3

1.44.3 (2022-07-08)

Bug Fixes

• gui: wrong nesting of HTML elements (#941) (f5bb873)

v1.44.2

1.44.2 (2022-07-08)

Bug Fixes

• gui: show "correct" marker for older annotations (#935) (53b2b40)

v1.44.1

1.44.1 (2022-07-08)

Bug Fixes

• gui: import of annotation files without schema version (#929) (877f9ef)

v1.44.0

1.44.0 (2022-07-05)

Features

• for optional parameters allow using the default value as constant value (#916) (aa9aa50)

v1.43.0

1.43.0 (2022-07-04)

Features

• gui: mark annotations as correct/unsure/wrong when reviewing (#915) (472982d)

v1.42.0

1.42.0 (2022-07-04)

Features

• parser: explain why an annotation was generated automatically (#914) (c2f76a8)