beshers@sylvester.columbia.edu (Clifford Beshers) (02/27/88)
Could someone please explain to me how the edit-options mode works. Specifically, does it save the options in some reasonable way, or even some unreasonable way? I can't get it to actually take effect after I've spent half an hour going through the list. Thanks, Cliff Beshers Columbia University Computer Science Department beshers@sylvester.columbia.edu