Archive for 'Release'
Release Notes 1.8.0
Quantified rules now supported! See samples. Additional system properties: Checking for dangling edges Checking for creator edges Checking for RHS as NAC Global injectivity check Further performance improvements (due to search plan-based matching) Isomorphism check can now be switched off (in system properties) One-line remarks in rule and system properties
Posted: November 6th, 2007 under Release.
Comments: none
