Issue 22: FEATURE: unregistry of predicate
Reported by jpyu.m...@gmail.com, Dec 4, 2010
MIPA should support the function of unregistry of predicate. This function includes detaching events, destroying normal processes and checkers, and releasing the resources taken by the predicate.


Dec 5, 2010
#1 jpyu.m...@gmail.com
interfaces added in rev. 307
Dec 5, 2010
#3 jpyu.m...@gmail.com
The function has been implemented in r311.