I have prepared a new list of dead code, just in case anybody is interested in it...
Ah... btw, I used the QT frontend.
Michael
> (anonymous namespace)::Correction* std::__copy_backward<(anonymous > namespace)::Correction*, (anonymous namespace)::Correction*>((anonymous > namespace)::Correction*, (anonymous namespace)::Correction*, (anonymous > namespace)::Correction*, std::random_access_iterator_tag) > (anonymous namespace)::Correction* std::__copy_backward_aux<(anonymous > namespace)::Correction*, (anonymous namespace)::Correction*>((anonymous > namespace)::Correction*, (anonymous namespace)::Correction*, (anonymous > namespace)::Correction*) > (anonymous namespace)::Correction::correct(MathAtom&, char) const > (anonymous namespace)::Correction::operator=((anonymous namespace)::Correction > const&) > (anonymous namespace)::Correction::read(std::basic_istream<char, > std::char_traints<char> >&) > (anonymous namespace)::Correction::write(std::basic_ostream<char, > std::char_traits<char> >&) const > (anonymous namespace)::Corrections::correct(MathAtom&, char) const > (anonymous namespace)::Corrections::insert((anonymous namespace)::Correction const&)
> (anonymous namespace)::char_set_size > (anonymous namespace)::initAutoCorrect() > (anonymous namespace)::operator<<(std::basic_ostream<char, std::char_traits<char> > >&, (anonymous namespace)::Correction&) > (anonymous namespace)::operator>>(std::basic_istream<char, std::char_traints<char> > >&, (anonymous namespace)::Correction&) > (anonymous namespace)::parser_buf<char, std::char_traits<char> >::seekoff(long, > std::_Ios_Seekdir, std::_Ios_Openmode) > (anonymous namespace)::parser_buf<char, std::char_traits<char> > >::seekpos(std::fpos<__mbstate_t>, std::_Ios_Openmode) > (anonymous namespace)::parser_buf<char, std::char_traits<char> >::setbuf(char*, int) > (anonymous namespace)::theCorrections > ControlForks* boost::get_pointer<ControlForks>(ControlForks*) > ControlForks* const& > boost::_bi::list0::operator[]<ControlForks*>(boost::_bi::value<ControlForks*> > const&) const > ControlForks::apply() > ControlForks::clearParams() > ControlForks::getCommand(int) const > ControlForks::getPIDs() const > ControlForks::kill(int) > ControlForks::setParams() > ControlPreamble::apply() > ControlPreamble::clearParams() > ControlPreamble::params() const > ControlPreamble::params(std::basic_string<char, std::char_traits<char>, > std::allocator<char> > const&) > ControlPreamble::setParams() > MathBigInset::clone() const > MathBigInset::draw(PainterInfo&, int, int) const > MathBigInset::increase() const > MathBigInset::metrics(MetricsInfo&, Dimension&) const > MathBigInset::normalize(NormalStream&) const > MathBigInset::size() const > MathBigInset::write(WriteStream&) const > lyx::support::putenv(char const*) > math_autocorrect(MathAtom&, char) > math_autocorrect(MathAtom&, char)::initialized