." Authors: Jens Peter Secher ([email protected]) ." Arne Glenstrup ([email protected]) ." Henning Makholm ([email protected]) ." Content: C-Mix system: Manual page for the annotation browser ." ." Copyright © 1999. The TOPPS group at DIKU, U of Copenhagen. ." Redistribution and modification are allowed under certain ." terms; see the file COPYING.cmix for details. ."------------------------------------- ." Find the right way to typeset dashes ."--------------------------------------------------- ." These macros helps emulate LaTeX list environments
NAME
cmixshow - browser for C-Mix/II feedback output
SYNOPSIS
cmixshow [-b|-u|-l|-r|-w|-s] filename.ann
DESCRIPTION
cmixshow can display the binding-time annotated programs output by cmix(1) for user feedback in various formats, as selected by the options.
OPTIONS
- -b
-
Display residual parts of the program in bold
- -u
-
Display residual parts of the program underlined
- -l
-
Display residual parts of the program in bold and spectime parts underlined. This works well for terminals that differentiate between bold and underline.
- -r
-
The opposite of -l; primarily useful with terminals that use reverse video to emulate underlining.
- -w
-
Output HTML that uses bold red text for residual parts of the program and italic green text for spectime parts.
- -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(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.
If no option is given, -s is assumed if the BROWSER variable is set, -b otherwise.
OUTPUT
With the -s option, the output goes via a network connection to the browser.
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.
AUTHOR
C-Mix/II was developed at the University of Copenhagen.
The development team can be reached at [email protected].
BUGS
Probably numerous. Please file as detailed bug reports as you can to [email protected].
ENVIRONMENTAL INFLUENCES
- .B BROWSER
-
Used to select a browser to start with the -s option
- .B PAGER
-
Used to select a pager to start if neither -s nor -h is given and the output is a terminal