Hello, during the last months, I´ve noticed that very similar questions are asked e.g. concerning PRODRG. Would it be useful to have a explicit FAQ for the mailing list? Or is the mailing list archive sufficient? What do the other users think about it? Christoph