		Search-engine friendly clone of the ACL2 documentation.

History

Ep-

Return the sorted list of non-builtin event names matching a given prefix

See ep for an analogous utility that includes built-in event names in the result. In the following example, we see that ep- is similar but only considers names that are not built into ACL2, so for example the result below does not include the name with-output.

Example:

ACL2 !>(defmacro with-output-off (form)
         `(with-output :off :all :gag-mode t ,form))

Summary
Form:  ( DEFMACRO WITH-OUTPUT-OFF ...)
Rules: NIL
Time:  0.00 seconds (prove: 0.00, print: 0.00, other: 0.00)
 WITH-OUTPUT-OFF
ACL2 !>:ep- with-output
(WITH-OUTPUT-OFF)
ACL2 !>