bool nextToken();
/// Push a token, that next token got from lyxlex.
void pushToken(string const &);
bool nextToken();
/// Push a token, that next token got from lyxlex.
void pushToken(string const &);
/** Get a long string, ended by the tag `endtag'.
This string can span several lines. The first line
serves as a template for how many spaces the lines
/** Get a long string, ended by the tag `endtag'.
This string can span several lines. The first line
serves as a template for how many spaces the lines
/** Pushes a token list on a stack and replaces it with a new one.
*/
void pushTable(keyword_item *, int);
/** Pushes a token list on a stack and replaces it with a new one.
*/
void pushTable(keyword_item *, int);