rms@prep.AI.MIT.EDU (02/20/86)
From: rms@prep.AI.MIT.EDU (Richard M. Stallman) Do you think it would be a good idea to change the way auto save file names are generated? Right now, the auto save file for `foo' is called `#foo'. Possible alternatives could be `foo#' or `#foo#', or anything else you suggest. Please tell me whatever advantages or disadvantages you see in possible alternative names. **Please send replies only to me unless you have a strong desire to do otherwise**