\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {4}WOOL Reference manual}{41}{}\protected@file@percent }
\@writefile{lof}{\addvspace {10pt}}
\@writefile{lot}{\addvspace {10pt}}
\newlabel{;}{{4}{41}}
\newlabel{!}{{4}{41}}
\newlabel{nth}{{4}{41}}
\newlabel{replace-nth}{{4}{42}}
\newlabel{(}{{4}{42}}
\newlabel{()}{{4}{43}}
\newlabel{nil}{{4}{43}}
\newlabel{""}{{4}{43}}
\newlabel{'}{{4}{43}}
\newlabel{quote}{{4}{43}}
\newlabel{*}{{4}{43}}
\newlabel{/}{{4}{43}}
\newlabel{+}{{4}{44}}
\newlabel{-}{{4}{44}}
\newlabel{=}{{4}{44}}
\newlabel{equal}{{4}{44}}
\newlabel{<}{{4}{44}}
\newlabel{>}{{4}{44}}
\newlabel{?}{{4}{44}}
\newlabel{print}{{4}{44}}
\newlabel{active-label-make}{{4}{44}}
\newlabel{allow-event-processing}{{4}{45}}
\newlabel{alone}{{4}{45}}
\newlabel{and}{{4}{45}}
\newlabel{any}{{4}{45}}
\newlabel{atoi}{{4}{45}}
\newlabel{atom}{{4}{45}}
\newlabel{background}{{4}{46}}
\newlabel{bar-make}{{4}{46}}
\newlabel{bar-min-width}{{4}{47}}
\newlabel{bar-max-width}{{4}{47}}
\newlabel{bar-separator}{{4}{47}}
\newlabel{bell}{{4}{48}}
\newlabel{bitwise-and}{{4}{48}}
\newlabel{bitwise-or}{{4}{48}}
\newlabel{bitwise-xor}{{4}{48}}
\newlabel{border-on-shaped}{{4}{48}}
\newlabel{borderpixel}{{4}{48}}
\newlabel{bordertile}{{4}{48}}
\newlabel{borderwidth}{{4}{48}}
\newlabel{boundp}{{4}{49}}
\newlabel{button}{{4}{49}}
\newlabel{buttonpress}{{4}{49}}
\newlabel{buttonrelease}{{4}{49}}
\newlabel{check-input-focus-flag}{{4}{49}}
\newlabel{circulate-windows-down}{{4}{50}}
\newlabel{circulate-windows-up}{{4}{50}}
\newlabel{color-components}{{4}{50}}
\newlabel{color-free}{{4}{50}}
\newlabel{color-make}{{4}{50}}
\newlabel{color-make-rgb}{{4}{51}}
\newlabel{compare}{{4}{51}}
\newlabel{cond}{{4}{51}}
\newlabel{confine-grabs}{{4}{51}}
\newlabel{confine-windows}{{4}{51}}
\newlabel{context-save}{{4}{51}}
\newlabel{context-restore}{{4}{51}}
\newlabel{copy}{{4}{52}}
\newlabel{current-event-code}{{4}{52}}
\newlabel{current-event-from-grab}{{4}{52}}
\newlabel{current-event-modifier}{{4}{52}}
\newlabel{current-event-time}{{4}{52}}
\newlabel{current-event-window-coords}{{4}{52}}
\newlabel{current-event-x}{{4}{53}}
\newlabel{current-event-y}{{4}{53}}
\newlabel{current-event-relative-x}{{4}{53}}
\newlabel{current-event-relative-y}{{4}{53}}
\newlabel{current-mouse-position}{{4}{53}}
\newlabel{current-user-event}{{4}{53}}
\newlabel{cursor}{{4}{53}}
\newlabel{cursor-NW}{{4}{54}}
\newlabel{cursor-make}{{4}{54}}
\newlabel{cut-buffer}{{4}{54}}
\newlabel{defun}{{4}{54}}
\newlabel{defunq}{{4}{54}}
\newlabel{lambda}{{4}{54}}
\newlabel{lambdaq}{{4}{54}}
\newlabel{de}{{4}{54}}
\newlabel{df}{{4}{54}}
\newlabel{defname}{{4}{55}}
\newlabel{delete-nth}{{4}{56}}
\newlabel{delete-read-properties}{{4}{56}}
\newlabel{delete-window}{{4}{56}}
\newlabel{describe-screen}{{4}{56}}
\newlabel{describe-window}{{4}{57}}
\newlabel{dimensions}{{4}{57}}
\newlabel{width}{{4}{57}}
\newlabel{height}{{4}{57}}
\newlabel{direction}{{4}{57}}
\newlabel{display-name}{{4}{58}}
\newlabel{double-button}{{4}{58}}
\newlabel{double-buttonpress}{{4}{58}}
\newlabel{double-click-delay}{{4}{58}}
\newlabel{draw-line}{{4}{58}}
\newlabel{draw-rectangle}{{4}{59}}
\newlabel{draw-text}{{4}{59}}
\newlabel{elapsed-time}{{4}{59}}
\newlabel{end}{{4}{59}}
\newlabel{enter-window}{{4}{59}}
\newlabel{leave-window}{{4}{59}}
\newlabel{enter-window-not-from-grab}{{4}{60}}
\newlabel{leave-window-not-from-grab}{{4}{60}}
\newlabel{eq}{{4}{60}}
\newlabel{error-occurred}{{4}{60}}
\newlabel{eval}{{4}{60}}
\newlabel{execute-string}{{4}{60}}
\newlabel{focus-in}{{4}{60}}
\newlabel{focus-out}{{4}{60}}
\newlabel{font}{{4}{61}}
\newlabel{font-make}{{4}{61}}
\newlabel{for}{{4}{61}}
\newlabel{mapfor}{{4}{61}}
\newlabel{foreground}{{4}{61}}
\newlabel{freeze-server}{{4}{61}}
\newlabel{fsm}{{4}{62}}
\newlabel{fsm-make}{{4}{62}}
\newlabel{geometry-change}{{4}{62}}
\newlabel{get-wm-command}{{4}{62}}
\newlabel{get-x-default}{{4}{62}}
\newlabel{get-x-property}{{4}{63}}
\newlabel{getenv}{{4}{63}}
\newlabel{grab-keyboard-also}{{4}{63}}
\newlabel{grab-server}{{4}{63}}
\newlabel{grabs}{{4}{63}}
\newlabel{grid-color}{{4}{64}}
\newlabel{gwm-quiet}{{4}{64}}
\newlabel{hack}{{4}{64}}
\newlabel{hashinfo}{{4}{64}}
\newlabel{horizontal}{{4}{64}}
\newlabel{vertical}{{4}{64}}
\newlabel{hostname}{{4}{64}}
\newlabel{iconify-window}{{4}{64}}
\newlabel{if}{{4}{65}}
\newlabel{inner-borderwidth}{{4}{65}}
\newlabel{invert-color}{{4}{65}}
\newlabel{invert-cursors}{{4}{65}}
\newlabel{itoa}{{4}{65}}
\newlabel{key}{{4}{66}}
\newlabel{keypress}{{4}{66}}
\newlabel{keyrelease}{{4}{66}}
\newlabel{key-make}{{4}{66}}
\newlabel{keycode-to-keysym}{{4}{66}}
\newlabel{keysym-to-keycode}{{4}{66}}
\newlabel{kill-window}{{4}{67}}
\newlabel{label-horizontal-margin}{{4}{67}}
\newlabel{label-vertical-margin}{{4}{67}}
\newlabel{label-make}{{4}{67}}
\newlabel{last-key}{{4}{67}}
\newlabel{length}{{4}{67}}
\newlabel{list}{{4}{68}}
\newlabel{list-make}{{4}{68}}
\newlabel{list-of-screens}{{4}{68}}
\newlabel{list-of-windows}{{4}{68}}
\newlabel{load}{{4}{69}}
\newlabel{lower-window}{{4}{69}}
\newlabel{make-string-usable-for-resource-key}{{4}{69}}
\newlabel{map-notify}{{4}{69}}
\newlabel{map-on-raise}{{4}{69}}
\newlabel{map-window}{{4}{70}}
\newlabel{match}{{4}{70}}
\newlabel{member}{{4}{71}}
\newlabel{meminfo}{{4}{71}}
\newlabel{menu}{{4}{71}}
\newlabel{menu-make}{{4}{71}}
\newlabel{menu-max-width}{{4}{71}}
\newlabel{menu-min-width}{{4}{71}}
\newlabel{menu-wob}{{4}{72}}
\newlabel{meter}{{4}{72}}
\newlabel{meter-close}{{4}{73}}
\newlabel{meter-open}{{4}{73}}
\newlabel{meter-update}{{4}{73}}
\newlabel{move-grid-style}{{4}{73}}
\newlabel{resize-grid-style}{{4}{73}}
\newlabel{move-meter}{{4}{73}}
\newlabel{resize-meter}{{4}{73}}
\newlabel{move-window}{{4}{74}}
\newlabel{name-change}{{4}{74}}
\newlabel{namespace}{{4}{74}}
\newlabel{namespace-add}{{4}{74}}
\newlabel{namespace-make}{{4}{75}}
\newlabel{namespace-of}{{4}{75}}
\newlabel{namespace-remove}{{4}{75}}
\newlabel{namespace-size}{{4}{75}}
\newlabel{never-warp-pointer}{{4}{75}}
\newlabel{not}{{4}{76}}
\newlabel{oblist}{{4}{76}}
\newlabel{on}{{4}{76}}
\newlabel{on-eval}{{4}{76}}
\newlabel{opening}{{4}{76}}
\newlabel{closing}{{4}{76}}
\newlabel{or}{{4}{76}}
\newlabel{pixmap-load}{{4}{77}}
\newlabel{pixmap-make}{{4}{77}}
\newlabel{place-menu}{{4}{78}}
\newlabel{class-name}{{4}{78}}
\newlabel{client-name}{{4}{78}}
\newlabel{icon-name}{{4}{78}}
\newlabel{starts-iconic}{{4}{78}}
\newlabel{plug-make}{{4}{78}}
\newlabel{plug-separator}{{4}{79}}
\newlabel{pop-menu}{{4}{79}}
\newlabel{print-errors-flag}{{4}{79}}
\newlabel{print-level}{{4}{79}}
\newlabel{process-events}{{4}{79}}
\newlabel{process-exposes}{{4}{80}}
\newlabel{progn}{{4}{80}}
\newlabel{property-change}{{4}{80}}
\newlabel{raise-window}{{4}{80}}
\newlabel{re-decorate-window}{{4}{80}}
\newlabel{reenter-on-opening}{{4}{80}}
\newlabel{refresh}{{4}{81}}
\newlabel{replayable-event}{{4}{81}}
\newlabel{resize-style}{{4}{81}}
\newlabel{mwm-resize-style-corner-size}{{4}{81}}
\newlabel{mwm-resize-style-catch-corners}{{4}{81}}
\newlabel{resize-window}{{4}{81}}
\newlabel{resource-get}{{4}{82}}
\newlabel{resource-put}{{4}{82}}
\newlabel{restart}{{4}{83}}
\newlabel{root-window}{{4}{83}}
\newlabel{rotate-cut-buffers}{{4}{83}}
\newlabel{save-yourself}{{4}{83}}
\newlabel{screen}{{4}{83}}
\newlabel{screen-count}{{4}{83}}
\newlabel{screen-depth}{{4}{84}}
\newlabel{screen-height}{{4}{84}}
\newlabel{screen-width}{{4}{84}}
\newlabel{screen-heightMM}{{4}{84}}
\newlabel{screen-widthMM}{{4}{84}}
\newlabel{screen-type}{{4}{84}}
\newlabel{send-button-to-window}{{4}{84}}
\newlabel{send-current-event}{{4}{84}}
\newlabel{send-key-to-window}{{4}{84}}
\newlabel{send-keycode-to-window}{{4}{84}}
\newlabel{send-user-event}{{4}{85}}
\newlabel{set-acceleration}{{4}{85}}
\newlabel{set-colormap-focus}{{4}{85}}
\newlabel{set-focus}{{4}{85}}
\newlabel{set-grabs}{{4}{86}}
\newlabel{unset-grabs}{{4}{86}}
\newlabel{set-icon-sizes}{{4}{86}}
\newlabel{set-key-binding}{{4}{86}}
\newlabel{set-screen-saver}{{4}{86}}
\newlabel{set-subwindow-colormap-focus}{{4}{87}}
\newlabel{set-threshold}{{4}{87}}
\newlabel{set-x-property}{{4}{87}}
\newlabel{set}{{4}{87}}
\newlabel{setq}{{4}{87}}
\newlabel{:}{{4}{87}}
\newlabel{sort}{{4}{88}}
\newlabel{stack-print-level}{{4}{88}}
\newlabel{state-make}{{4}{88}}
\newlabel{sublist}{{4}{88}}
\newlabel{t}{{4}{89}}
\newlabel{tag}{{4}{89}}
\newlabel{exit}{{4}{89}}
\newlabel{tile}{{4}{89}}
\newlabel{together}{{4}{89}}
\newlabel{trace}{{4}{89}}
\newlabel{trace-level}{{4}{89}}
\newlabel{trigger-error}{{4}{90}}
\newlabel{type}{{4}{90}}
\newlabel{unbind}{{4}{90}}
\newlabel{ungrab-server}{{4}{90}}
\newlabel{ungrab-server-and-replay-event}{{4}{91}}
\newlabel{unmap-window}{{4}{91}}
\newlabel{unpop-menu}{{4}{91}}
\newlabel{user-event}{{4}{91}}
\newlabel{visibility-fully-obscured}{{4}{91}}
\newlabel{visibility-partially-obscured}{{4}{91}}
\newlabel{visibility-unobscured}{{4}{91}}
\newlabel{warp-pointer}{{4}{91}}
\newlabel{while}{{4}{92}}
\newlabel{window}{{4}{92}}
\newlabel{window-client-class}{{4}{92}}
\newlabel{window-client-height}{{4}{92}}
\newlabel{window-client-width}{{4}{92}}
\newlabel{window-client-x}{{4}{92}}
\newlabel{window-client-y}{{4}{92}}
\newlabel{window-client-borderwidth}{{4}{92}}
\newlabel{window-client-name}{{4}{93}}
\newlabel{window-group}{{4}{93}}
\newlabel{window-icon}{{4}{93}}
\newlabel{window-icon?}{{4}{93}}
\newlabel{window-icon-name}{{4}{93}}
\newlabel{window-icon-pixmap}{{4}{94}}
\newlabel{window-icon-pixmap-change}{{4}{94}}
\newlabel{window-icon-pixmap-id}{{4}{94}}
\newlabel{window-icon-window}{{4}{94}}
\newlabel{window-is-mapped}{{4}{94}}
\newlabel{window-is-shaped}{{4}{94}}
\newlabel{window-is-transient-for}{{4}{94}}
\newlabel{window-is-valid}{{4}{95}}
\newlabel{wob-is-valid}{{4}{95}}
\newlabel{window-machine-name}{{4}{95}}
\newlabel{window-make}{{4}{95}}
\newlabel{window-name}{{4}{96}}
\newlabel{window-program-set-position}{{4}{97}}
\newlabel{window-program-set-size}{{4}{97}}
\newlabel{window-property}{{4}{97}}
\newlabel{wob-property}{{4}{97}}
\newlabel{window-size}{{4}{97}}
\newlabel{window-starts-iconic}{{4}{97}}
\newlabel{window-status}{{4}{97}}
\newlabel{wob-status}{{4}{97}}
\newlabel{window-to-client}{{4}{98}}
\newlabel{client-to-window}{{4}{98}}
\newlabel{window-user-set-position}{{4}{98}}
\newlabel{window-user-set-size}{{4}{98}}
\newlabel{window-was-on-screen}{{4}{98}}
\newlabel{window-width}{{4}{98}}
\newlabel{window-height}{{4}{98}}
\newlabel{wob-height}{{4}{98}}
\newlabel{wob-width}{{4}{98}}
\newlabel{window-window}{{4}{98}}
\newlabel{window-wm-state}{{4}{99}}
\newlabel{window-wm-state-icon}{{4}{99}}
\newlabel{window-wm-state-update}{{4}{99}}
\newlabel{window-x}{{4}{99}}
\newlabel{window-y}{{4}{99}}
\newlabel{with}{{4}{99}}
\newlabel{with-eval}{{4}{99}}
\newlabel{with-shift}{{4}{100}}
\newlabel{with-control}{{4}{100}}
\newlabel{with-alt}{{4}{100}}
\newlabel{with-lock}{{4}{100}}
\newlabel{with-modifier-N}{{4}{100}}
\newlabel{with-button-N}{{4}{100}}
\newlabel{with-output-to-file}{{4}{100}}
\newlabel{with-output-to-string}{{4}{100}}
\newlabel{wob}{{4}{100}}
\newlabel{wob-at-coords}{{4}{101}}
\newlabel{wob-background}{{4}{101}}
\newlabel{wob-borderpixel}{{4}{101}}
\newlabel{wob-borderwidth}{{4}{101}}
\newlabel{wob-cursor}{{4}{101}}
\newlabel{wob-fsm}{{4}{101}}
\newlabel{wob-invert}{{4}{101}}
\newlabel{wob-menu}{{4}{102}}
\newlabel{wob-parent}{{4}{102}}
\newlabel{wob-tile}{{4}{102}}
\newlabel{wob-pixmap}{{4}{102}}
\newlabel{wob-x}{{4}{102}}
\newlabel{wob-y}{{4}{102}}
\newlabel{xid-to-wob}{{4}{102}}
\@setckpt{wool_ref}{
\setcounter{page}{103}
\setcounter{equation}{0}
\setcounter{enumi}{11}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{4}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{0}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
}