Date:	Wed, 3 Feb 93 18:13:43 EST
From:	DJ Delorie <dj AT ctron DOT ctron DOT com>
To:	J DOT P DOT Fletcher AT aston DOT ac DOT uk
Cc:	djgpp AT sun DOT soe DOT clarkson DOT edu
Subject:	Name mangling in G++

There used to be a program called "g++filt" that I distributed.  I
don't know what happened to it.  Anyway, most gnu programs have the
demangler built in, so they always print the demangled name.  Only
debug32 still prints the mangled name (alas).

DJ

- Raw text -