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

    * Alternating Bit Protocol
	simanim ABP.til abp.tcl

    * Concurrent Alternating Bit Protocol
	simanim CABP.til cabp.tcl

    * Model Factory with Validation
	simanim Validation.til val-modfac.tcl

    * small factory
	simanim Factory.til factory.tcl

    * small factory with queue's and information panel
	simanim S-Factory.til info-seq-factory.tcl

    * simanim
	simanim ToolBus-SimAnim.til simanim.tcl
