A list of available demos and how they are to be used is given below.
(remind that toolbus must be somewhere in PATH)

    * Alternating Bit Protocol (altered for genanim)
	psf ABPx
	genanim ABP ABPx.til
	simanim ABPx.til ABPx.anim

    * small factory (altered for genanim)
	psf Factoryx
	genanim Start Factoryx.til
	simanim Factoryx.til Factoryx.anim

    * small factory with scheduler
	psf SchedFactory
	genanim -C Start SchedFactory.til
	simanim SchedFactory.til SchedFactory.anim
