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