|
|
|---|
|
|
|
|---|
Print the monitored runes and their break conditions
Example and General Form: (monitored-runes) :monitored-runes
This macro prints a list, each element of which is of the form
The list is printed to the comment window and not returned as the
value
Technically, the list of monitored runes is a locally bound variable of
break-rewrite. The initial value of the variable is determined by its value
in the containing scope of a call of break-rewrite. The value may be changed
during interactions within the break, but it reverts to its old value upon
return from break-rewrite. Thus if you monitor some runes, start a proof,
adjust the monitored runes from within break-rewrite breaks in the proof
attempt, and eventually return to the top-level, the value shown by