- os << "[unknown ";
- WriteStream wi(os.os(), false);
- write(wi);
- os << "] ";
-}
-
-
-void MathInset::dump() const
-{
- lyxerr << "---------------------------------------------\n";
- WriteStream wi(lyxerr, false);
- write(wi);
- lyxerr << "\n---------------------------------------------\n";
-}
-
-
-void MathInset::validate(LaTeXFeatures &) const
-{}
-
-
-vector<MathInset::idx_type>
- MathInset::idxBetween(idx_type from, idx_type to) const
-{
- vector<idx_type> res;
- for (idx_type i = from; i <= to; ++i)
- res.push_back(i);
- return res;