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

Re: Line numbers

	Clearly, if we are going to start putting numbers on some lines,
we should do it to all of them, for convenience of accessing specific
parts of the code with advanced editors. While we're at it, we could
remove a lot of the hassles involved with the long-super-hairy-variable-
names-that-you-can-never-remember-quite-right and implement only
single character variable names. Comments?