Skip to content

Fixed bugs
Compare
Choose a tag to compare
@vale1410 vale1410 released this 27 Dec 01:18
· 199 commits to master since this release
v2.10.1
d962697
  • Many smaller bugs
  • Sequence of facts in the same line are handled. e.g. f[1]. f[2]. now correct parsing.
  • Range in Equivalence is correctly handled: e.g. F==1..4::p(X),q(X+1).
Assets 5
Loading