Re: Procheck(manual)

Iddo Friedberg (idoerg@cc.huji.ac.il)
Tue, 20 Feb 1996 12:25:24 +0200 (IST)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Previous message: Choiset Yvan: "Procheck again(slowness...)"
In reply to: Choiset Yvan: "Procheck(manual)"

On Tue, 20 Feb 1996, Choiset Yvan wrote:

> Hello
>
> Is it possible to find a postcript version of this manual?
>
> Thanx
>
> Yvan
>

anonymous ftp on 128.40.46.11

pub/procheck

Iddo

Iddo Friedberg ("\''/").___..--''"`-._
Phone: (972)-2-6585459/3 `9_ 9 ) `-. ( ).`-.__.`)
email: idoerg@shum.cc.huji.ac.il (_Y_.)' ._ ) `._ `. ``-..-'
web: http://www.ls.huji.ac.il/~idoerg _..`--'_..-_/ /--'_.' .'

"Graduate life -- it's not just a job, it's an indenture."

Previous message: Choiset Yvan: "Procheck again(slowness...)"
In reply to: Choiset Yvan: "Procheck(manual)"