From: Robby Findler (robby at eecs.northwestern.edu) Date: Wed Jan 6 15:34:47 EST 2010 |
|
I think you can also make copies of mred.exe or drscheme.exe and get multiple processes that way too. On Wed, Jan 6, 2010 at 1:37 PM, Chognkai Zhu <czhu at cs.utah.edu> wrote: > That works. Thanks. > > Robby Findler wrote: >> >> You can start one extra one by running mred.exe -l drscheme, fwiw. >> >> Robby >> >> > >
Posted on the users mailing list. |
|