Dump events to a file.
(include-book "misc/dump-events" :dir :system) (dump-events "xxx") ; dump all user events to file xxx (dump-events "xxx" :x-2) ; dump the last two events to file xxx (dump-events "xxx" 2 :x-1) ; dump all events from after command 2 ; up through the next-to-last command
(dump-events dumpfile &optional earlier-command-desc later-command-desc)
where the form of the optional command descriptors is explained elsewhere;
see command-descriptor. All events strictly after the first command
descriptor up through the second, which by default are
The dumpfile will be overwritten if it already exists.