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