Am Mon, 2001-10-08 um 22.47 schrieb 1002574041: > I really think we should use XML for the tips but Marc is probably right > that it only makes sense if we use it for other files too. If we decide > to tackle some of our plug-in problems with XML, we will probably want a > real XML parser. That would give us enough good reasons to depend on > libxml2. With a powerful XML library at hand, it will be trivial to solve > the i18n problems that intltool can't handle for us now. ACK, I'm also for the all-in-one solution, let's close this silly thread then and concentrate on work. -- Servus, Daniel