%MAN%.SH SYNOPSIS
%MAN OFF
\subsection{The annotated-program browser}
The »cmixshow« program can be used to display the annotated program
output that »cmix« writes to the ».ann« file. It is invoked thus

\example{cmixshow $[»-b«|»-u«|»-l«|»-r«|»-h«|»-s«]$ «filename.ann»}

\iffalse
%MAN ON
»cmixshow«
[»-b«|»-u«|»-l«|»-r«|»-w«|»-s«]
«filename.ann»
%MAN OFF
\fi
%MAN ON
%MAN%.SH DESCRIPTION
»cmixshow« can display the binding-time annotated programs output
by »cmix«%
%MAN-TEX:(1)%
~for user feedback in various formats, as selected by the options.
%
%MAN%.SH OPTIONS
\begin{itemize}
\item[»-b«]-- Display residual parts of the program in bold
\item[»-u«]-- Display residual parts of the program underlined
\item[»-l«]-- Display residual parts of the program in bold
	and spectime parts underlined. This works well for terminals
	that differentiate between bold and underline.
\item[»-r«]-- The opposite of »-l«; primarily useful with terminals
	that use reverse video to emulate underlining.
\item[»-w«]-- Output HTML that uses bold red text for residual
	parts of the program and italic green text for spectime
	parts.
\item[»-s«]-- Makes »cmixshow« install itself as a local HTTP
	server and start a WWW browser for interactive inspection
	of the annotations. This is the only way to inspect the
	extra annotations enabled by the »-s« or »-S« options
	to »cmix«%
%MAN-TEX:(1)%
	.

	The »BROWSER« environment variable selects which command
	to use to start the browser. If the variable is not set,
	»cmixshow« simply outputs an URL and waits for the user
	to start a browser.

	Each time the browser reloads the top frame, »cmixshow« checks
	if the ».ann« file has changed and reloads it if appropriate.
	In this way it is possible to view the new annotations each
	time »cmix« is rerun just by clicking the ``Reload'' button in
	the browser.
\end{itemize}
If no option is given, »-s« is assumed if the »BROWSER« variable is
set, »-b« otherwise.

%MAN%.SH OUTPUT
With the »-s« option, the output goes via a network connection to the
browser.
%MAN%.P
In any other mode, if the standard output is a
terminal, the pretty-printed output is piped to a pager. Otherwise
it is sent to the standard output. Except with »-w«, bold and
underlined text is created by backspace overstrike which is
understood by most pagers. 
