>>>>> "Doug" == Doug Evans <[email protected]> writes:
Doug> For those that don't care, "info pretty-printer" can still print Doug> all of them. "info pretty-printer" et.al. would need some work, Doug> sure, and one way to go would be to use "info <ext-lang> Doug> pretty-printer". I don't understand what this means. Tom
