Re: [Brahms-dev-l] proof

From: Stephen Sanders <ssanders@ku.edu>
Date: Wed Feb 08 2006 - 15:21:23 EST
I've been running OK on 48.   However, I had the same problem with 62  
even before yesterday's
outage.
On Feb 8, 2006, at 1:54 PM, Johnson, Erik B wrote:

>
> Brahms,
>    I am trying to run proof on the proof cluster rcas0062, but the  
> process hangs after the dialog box opens.  Has anyone gotten proof  
> to work since yesterday when the computers back back online?
> Erik
> _______________________________________________
> Brahms-dev-l mailing list
> Brahms-dev-l@lists.bnl.gov
> http://lists.bnl.gov/mailman/listinfo/brahms-dev-l

_______________________________________________
Brahms-dev-l mailing list
Brahms-dev-l@lists.bnl.gov
http://lists.bnl.gov/mailman/listinfo/brahms-dev-l
Received on Wed Feb 8 15:21:50 2006

This archive was generated by hypermail 2.1.8 : Wed Feb 08 2006 - 15:22:05 EST