This is the miro/bin directory. It contains the following programs:

   ambig*		ambiguity checker
-> iff2arrows*		print ARROWs of an IFF file in an easy-to-read way
-> iff2ciff*		compress .iff file (by removing newlines) idempotently
   iff2db*		IFF to database load file filter
-> iff2ipql		translates IFF files to form for IPQL processing
   iff2ps*		IFF to PostScript filter
   iff2vf*		IFF to verifier format converter
-> iffincidences*	print info on arrow incidences of IFF files
-> iffstats*		print statistics of various properties of IFF files
-> miro-editor*		starts up the editor under lisp
   probe*		UNIX filesystem prober
   rmnl*		remove single newlines (useful with iff2* commands)
-> searchfs*            recursively searches a pathname and prints its
			  protection, owner, and group-owner information
-> searchpath*		selects one path (branch) from the output of
			  searchfs(1)
-> verify		verifier front end
   vf			verifier guts

-> These entries are shell scripts.
