Hi,
just noticed this while playing with alt-ergo v2.1.0: shouldn't this be "alt-ergo-2.0.0"?
(There does not seem to be a v2.2.0 since v2.1.0 (released 14.03.2018) appears to be the latest version out there...)
Hi,
just noticed this while playing with alt-ergo v2.1.0: shouldn't this be "alt-ergo-2.0.0"?
(There does not seem to be a v2.2.0 since v2.1.0 (released 14.03.2018) appears to be the latest version out there...)