Note to Vincent Users

The instructions for using ABC are a little different on Vincent:

First-time Users

	vincent% add abc
	vincent% abcinit
	vincent% abc

If you are going to use ABC repeatedly, you can avoid having to add abc each session by typing

	vincent% abcinit -add

Subsequent Sessions

	vincent% add abc
	vincent% abc