Skip to content

Releases: objectionary/phino

names of rules are using upcase

16 Jan 21:52

Choose a tag to compare

See #597, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

vertical bars conflict with eolang package

16 Jan 18:12

Choose a tag to compare

See #594, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`explain` Output Lacks Precision and Completeness

16 Jan 16:32

Choose a tag to compare

See #590, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

LaTeX Conversion for Rules Not Implemented in LaTeX.hs

15 Jan 17:33

Choose a tag to compare

See #356, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

The `--margin` option is missing

07 Jan 10:23

Choose a tag to compare

See #460, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`--focus` would be nice to have

23 Dec 23:24

Choose a tag to compare

See #491, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`phiAgain` prevents sugar from being used in a sequence

22 Dec 08:57

Choose a tag to compare

See #552, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`--locator` Option Incorrectly Modifies Visible Object Scope

19 Dec 15:01

Choose a tag to compare

See #542, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`dataize` doesn't support specific object coordinates

15 Dec 15:02

Choose a tag to compare

See #529, release log:

Released by Rultor 2.0-SNAPSHOT, see build log

`\phiMeet` shows up twice with the same name in one line

11 Dec 14:48

Choose a tag to compare

See #522, release log:

Released by Rultor 2.0-SNAPSHOT, see build log