Resource
:
ATB*PR*Trace_User_Rules.
Value
:
TRUE
or
FALSE.
Meaning
:
Indicate
whether
the
application
of
a
user
rule
should
trigger
a
message.
Default
value
:
FALSE.
If this ressource is set to TRUE, a message is displayed each time a user rule is applied. This message is of the following form: Applying user rule T.n, where T.n is the name of the user rule. T corresponds to the name of the theory where the user rule is defined, and n to the position of the rule within the theory.
This ressource can be used to check which user rules are used in a demonstration.