[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: redefine
- From: ht@cogsci.ed.ac.uk (Henry S. Thompson)
- To: Eddie Robertsson <eddie@allette.com.au>
- Date: Fri, 06 Jul 2001 10:26:19 +0100
Eddie's answers all look good to me.
The rule of thumb wrt redefine is that it's there to help you do
cleanly what you would otherwise do with cut-and-paste. So to answer
the kind of question you're asking, just imagine _editing_ the
original definition to be the effective definition after redefinition,
and then carrying on from there.
ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
W3C Fellow 1999--2001, part-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
- References:
- redefine
- From: Dan Ferullo <daf176@psu.edu>
- Re: redefine
- From: Eddie Robertsson <eddie@allette.com.au>