Re: [Brahms-dev-l] proof

From: Eun-Joo Kim <ejkim@ku.edu>
Date: Mon Jul 11 2005 - 10:00:31 EDT

Thanks....
I think input looks problem.
I tried to run new dst files with prover = 2 with same macro.
It was all right for 4B 3450deg files, maybe 50 files.

Eun-Joo


_______________________________________________
Brahms-dev-l mailing list
Brahms-dev-l@lists.bnl.gov
http://lists.bnl.gov/mailman/listinfo/brahms-dev-l

Received on Mon Jul 11 10:00:52 2005

This message: [ Message body ]
Next message: flemming videbaek: "[Brahms-dev-l] qm preparation"
Previous message: Hironori Ito: "Re: [Brahms-dev-l] proof"
In reply to: Hironori Ito: "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 : Mon Jul 11 2005 - 10:00:57 EDT