Cheers Dave H, Birkbeck.
On Thu, 4 May 1995, Markus Jaritz wrote:
> Dear VSNS-PPS Course Organisers !
>
> I tried PROCHECK several times this morning, but the only thing I got was
> something like: "internal error execve() failed"
>
>
>