Hi Gabriele,

GS> The interpreter has never been doing things in any particular way.
GS> That  is,  /LOCAL is just a refinement, like /ALL would, or /WITH,
GS> etc.  Carl  just  decided,  as a convention, to use the refinement
GS> named /LOCAL to define local words; so HELP is just following this
GS> convention.  As  I said, it would make no harm to change HELP, but
GS> I'm not really sure it would be worth it...

Of course that makes perfect sense, but shouldn't HELP still
understand that refinements coming after /local are part of the
interface and display them?

-- Gregg                         

-- 
To unsubscribe from this list, just send an email to
[EMAIL PROTECTED] with unsubscribe as the subject.

Reply via email to