		Search-engine friendly clone of the ACL2 documentation.

ACL2s-interface

Capture-output

Control whether or not the acl2s-interface attempts to capture ACL2 printed output

Examples:

(capture-output-on)    ; From this point forward all acl2s-interface functions will
                       ; attempt to capture all ACL2 printed output
(capture-output-off)   ; (default) From this point forward all acl2s-interface
                       ; functions will print any ACL2 output as normal
(get-captured-output)  ; Returns a string containing all captured output since the
                       ; last (get-captured-output) call. Note that the three primary
                       ; acl2s-interface functions will call this before each query.

Most of the ACL2s interface functions also take a :capture-output argument for locally controlling whether output is captured without affecting the global setting.