[Brahms-dev-l] proof

From: Johnson, Erik B <ebj@ku.edu>
Date: Wed Feb 08 2006 - 14:54:40 EST

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

Received on Wed Feb 8 14:55:11 2006

This message: [ Message body ]
Next message: Stephen Sanders: "Re: [Brahms-dev-l] proof"
Previous message: Hironori Ito: "Re: [Brahms-dev-l] (no subject)"
Next in thread: Stephen Sanders: "Re: [Brahms-dev-l] proof"
Reply: Stephen Sanders: "Re: [Brahms-dev-l] proof"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Wed Feb 08 2006 - 14:55:26 EST