2 /* This file is part of
3 * ======================================================
5 * LyX, The Document Processor
7 * Copyright 2000 Jean-Marc Lasgouttes
9 * ======================================================*/
24 // delete all the strings that have been allocated by add()
26 // Make a copy of the string, and remember it in the pool
27 char const * add(string const & str);
30 typedef std::vector<char const *> Pool;