define verb mangle
	image mangle
	parameter p1, label=web_file, prompt="File", value(required)
	qualifier change_file, value(default=" ")
	qualifier modula_file, label=pascal_file, nonnegatable, value(required)
	qualifier pool_file, nonnegatable, value(required)

define verb mweave
	image mweave 
	parameter p1, label=web_file, prompt="File", value(required)
	qualifier change_file, value(default=" ")
	qualifier tex_file, nonnegatable, value(required)