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]
