17 Aug
2005
17 Aug
'05
12:35 a.m.
On 8/16/05, Andreas Mohr <andi(a)rhlx01.fht-esslingen.de> wrote:
Hi,
On Tue, Aug 16, 2005 at 06:17:27PM +0200, Francois Gouget wrote:
Actually 'dereference' is correct here, although I have no doubt that it is not in any dictionary. Huh, why?
http://dictionary.reference.com/search?q=dereference
But OTOH it does mention "well established in jargon", so you might have a point here.
Francois what is your preference here? You do allot more spell checking than I do, so we will go with 'dereference' if you fell its suitable. Tom
Andreas