printed theory is not valid anymore

Issue #922 new
Ingmar Dasseville created an issue

IDP should not parse numbers from strings when not asked to

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=1f14a1ed1022c81e78aedfcf9ed6a523

Comments (0)

  1. Log in to comment