archives

« Bugzilla Issues Index

#3867 — 8.5: "the sourceText"


In 8.5 "Initialization()",
step 8.b says:
Else the /sourceText/ is the source code of a module,

Delete the first "the".
(Because in 8.a, you don't have "the" before /sourceText/.)


fixed in rev34 editor's draft


fixed in rev34