I'd like to be able to apply a pattern on a parent message. For instance, if we define ~^ to do that, then ~^~P will match any message that is a reply of one of my messages (note: they are in the same mailbox).
-- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA
