# [ref_impl_eiffel] [792] Various improvements and changes to RM checker: **Category:** [Reference Implementation: Eiffel (archive)](https://discourse.openehr.org/c/reference-implementation-eiffel-archive/161) **Created:** 2009-02-08 14:22 UTC **Views:** 1 **Replies:** 0 **URL:** https://discourse.openehr.org/t/ref-impl-eiffel-792-various-improvements-and-changes-to-rm-checker/14050 --- ## Post #1 by @svn1 Revision: 792 Author: thomas\.beale Log Message: --- **Canonical:** https://discourse.openehr.org/t/ref-impl-eiffel-792-various-improvements-and-changes-to-rm-checker/14050 **Original content:** https://discourse.openehr.org/t/ref-impl-eiffel-792-various-improvements-and-changes-to-rm-checker/14050