Post CM-045-cf681c

HEREWITH FOLLEW SOME GUIDES TE USING QED (THE EDITING SUB-
SYSTEM BROUGHT IN BY THE EDIT COMMAND):
(1) \EDIT\ MUST BE FOLLOWED BY THE HITLIST NUMBER OF THE
ITEM IF THERE ARE MORE THAN ONE ITEMS FOUND.
(2)AFTER TYPING EDIT, THE MACHINE WILL SAY, \EDITOR\,
AND GIVE YOU THE. HERALD, WHICH IS QED HERALD.
(3) PRECEDE QED COMMANDS WITH LINE NUMBER (E.G., 2EDIT), OR
NUMBERS (2,5/ WHICH WILL PRINT OUT LINES 2 THROUGH 5),
, THE CURRENT LINE. $ THE LAST LINE .-1 THE PREVIOUS LINE
.+1-THE NEXT LINE, ETC.
\EDIT\ WILL TYPE OUT THE LINE INDICATED, AND THEN YOU CAN
MESS WITH IT
\MODIFY\ WILL NOT TYPE OUT THE LINE, BUT JUST LET YOU MESS AROUND,
\SUBSTITUTE\