Mark <verbatim> elements that represent interactive sessions; these
become <interpreter-session> elements.
F
Fred Drake committed
93d762fc7af7080cdd2ccaa336178b09aa822efa
Parent: 997eec7
become <interpreter-session> elements.