IMPLEMENTATION MODULE ConfigurationOptions;

	(********************************************************)
	(*							*)
	(*	The function of this module is to collect	*)
	(*	together some key configuration settings	*)
	(*	which govern things like which PMOS		*)
	(*	features are to be disabled.  It does not	*)
	(*	contain any executable code.			*)
	(*							*)
	(*  Programmer:		P. Moylan			*)
	(*  Last edited:	5 February 1994			*)
	(*  Status:		OK				*)
	(*							*)
	(********************************************************)

END ConfigurationOptions.