HP EDIT Reference Manual (30316-90016)