|
|
|---|
|
|
|
|---|
Event form of cw.
When this macro is processed as an event, its arguments are passed to cw.
Exception: No printing is done while including a book or during the second pass of an encapsulate event.
Macro:
(defmacro cw-event (str &rest args) (cons 'value-triple (cons (cons 'cw (cons str args)) '(:on-skip-proofs :interactive))))