At 03:59 2/5/01 +0100, Charles Benett wrote: >Is there anything in the pipeline package that can't go in the main tree >rather than scratchpad?
IMHO it hasn't seen enough real life usage for us to guarentee to support it ... Cheers, Pete *-----------------------------------------------------* | "Faced with the choice between changing one's mind, | | and proving that there is no need to do so - almost | | everyone gets busy on the proof." | | - John Kenneth Galbraith | *-----------------------------------------------------* --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
