[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]

    Date:  2 OCT 1980 1603-EDT
    From: dlw at MIT-AI (Daniel L. Weinreb)
    Character search has an absurdly large working set, for some reason; when
    I use it after not having used it for a while it is quite slow.
That is probably because it "echoes" using FORMAT.