'xrdef {Introduction-title}{Introduction}
'xrdef {Introduction-pg}{1}
'xrdef {Introduction-snt}{Chapter'tie1}
'xrdef {Related work-title}{Related work}
'xrdef {Related work-pg}{3}
'xrdef {Related work-snt}{Section'tie1.1}
'xrdef {Assert-title}{Assert.h considered harmful}
'xrdef {Assert-pg}{4}
'xrdef {Assert-snt}{Section'tie1.2}
'xrdef {Scope-title}{Scope of this document}
'xrdef {Scope-pg}{4}
'xrdef {Scope-snt}{Section'tie1.3}
'xrdef {Installation-title}{Installing the Nana library}
'xrdef {Installation-pg}{5}
'xrdef {Installation-snt}{Chapter'tie2}
'xrdef {Required Software-title}{Required Software}
'xrdef {Required Software-pg}{5}
'xrdef {Required Software-snt}{Section'tie2.1}
'xrdef {Optional Software-title}{Optional Software}
'xrdef {Optional Software-pg}{6}
'xrdef {Optional Software-snt}{Section'tie2.2}
'xrdef {Configure-title}{Configure}
'xrdef {Configure-pg}{6}
'xrdef {Configure-snt}{Section'tie2.3}
'xrdef {Variables-title}{Variables for ./configure}
'xrdef {Variables-pg}{7}
'xrdef {Variables-snt}{Section'tie2.4}
'xrdef {Supported Platforms-title}{Supported Platforms}
'xrdef {Supported Platforms-pg}{8}
'xrdef {Supported Platforms-snt}{Section'tie2.5}
'xrdef {Supported Debuggers-title}{Supported Debuggers}
'xrdef {Supported Debuggers-pg}{8}
'xrdef {Supported Debuggers-snt}{Section'tie2.6}
'xrdef {Known Problems-title}{Known Problems}
'xrdef {Known Problems-pg}{9}
'xrdef {Known Problems-snt}{Section'tie2.7}
'xrdef {Bug Reports-title}{Bug Reports}
'xrdef {Bug Reports-pg}{10}
'xrdef {Bug Reports-snt}{Section'tie2.8}
'xrdef {New Versions-title}{New Versions}
'xrdef {New Versions-pg}{10}
'xrdef {New Versions-snt}{Section'tie2.9}
'xrdef {Invoking-title}{Invoking Nana}
'xrdef {Invoking-pg}{13}
'xrdef {Invoking-snt}{Chapter'tie3}
'xrdef {Interface-title}{Interface}
'xrdef {Interface-pg}{15}
'xrdef {Interface-snt}{Chapter'tie4}
'xrdef {nana.h-title}{nana.h: the main header file}
'xrdef {nana.h-pg}{15}
'xrdef {nana.h-snt}{Section'tie4.1}
'xrdef {WITHOUT_NANA-title}{WITHOUT_NANA: disabling all nana code for portability.}
'xrdef {WITHOUT_NANA-pg}{15}
'xrdef {WITHOUT_NANA-snt}{Section'tie4.2}
'xrdef {I.h-title}{I.h: C based invariant checking}
'xrdef {I.h-pg}{15}
'xrdef {I.h-snt}{Section'tie4.3}
'xrdef {DI.h-title}{DI.h: debugger based invariant checking}
'xrdef {DI.h-pg}{18}
'xrdef {DI.h-snt}{Section'tie4.4}
'xrdef {L.h-title}{L.h: support for printf style logging}
'xrdef {L.h-pg}{20}
'xrdef {L.h-snt}{Section'tie4.5}
'xrdef {L_buffer.h-title}{L_buffer.h: a circular buffer for logging.}
'xrdef {L_buffer.h-pg}{22}
'xrdef {L_buffer.h-snt}{Section'tie4.6}
'xrdef {L_times.h-title}{L_times.h: recording events and times.}
'xrdef {L_times.h-pg}{24}
'xrdef {L_times.h-snt}{Section'tie4.7}
'xrdef {DL.h-title}{DL.h: support for printf style logging}
'xrdef {DL.h-pg}{25}
'xrdef {DL.h-snt}{Section'tie4.8}
'xrdef {GDB.h-title}{GDB.h: sending plain gdb commands to the debugger}
'xrdef {GDB.h-pg}{26}
'xrdef {GDB.h-snt}{Section'tie4.9}
'xrdef {Q.h-title}{Q.h: support for quantifiers}
'xrdef {Q.h-pg}{27}
'xrdef {Q.h-snt}{Section'tie4.10}
'xrdef {Qstl.h-title}{Qstl.h: quantifiers for STL containers.}
'xrdef {Qstl.h-pg}{29}
'xrdef {Qstl.h-snt}{Section'tie4.11}
'xrdef {now.h-title}{now.h: measuring time}
'xrdef {now.h-pg}{31}
'xrdef {now.h-snt}{Section'tie4.12}
'xrdef {eiffel.h-title}{eiffel.h: eiffel type assertions}
'xrdef {eiffel.h-pg}{31}
'xrdef {eiffel.h-snt}{Section'tie4.13}
'xrdef {assert.h-title}{assert.h: a drop in replacement for assert.h}
'xrdef {assert.h-pg}{33}
'xrdef {assert.h-snt}{Section'tie4.14}
'xrdef {calls.h-title}{calls.h: checking/printing many objects/facts.}
'xrdef {calls.h-pg}{33}
'xrdef {calls.h-snt}{Section'tie4.15}
'xrdef {Usage-title}{Using Nana}
'xrdef {Usage-pg}{35}
'xrdef {Usage-snt}{Chapter'tie5}
'xrdef {Simplest-title}{Simplest example}
'xrdef {Simplest-pg}{35}
'xrdef {Simplest-snt}{Section'tie5.1}
'xrdef {Syslog-title}{Syslog}
'xrdef {Syslog-pg}{35}
'xrdef {Syslog-snt}{Section'tie5.2}
'xrdef {GNU-title}{GNU Programs: how to avoid nana sometimes}
'xrdef {GNU-pg}{36}
'xrdef {GNU-snt}{Section'tie5.3}
'xrdef {Embedded Systems-title}{Embedded Systems: testing non-deterministic systems.}
'xrdef {Embedded Systems-pg}{36}
'xrdef {Embedded Systems-snt}{Section'tie5.4}
'xrdef {Realtime-title}{Realtime Systems}
'xrdef {Realtime-pg}{37}
'xrdef {Realtime-snt}{Section'tie5.5}
'xrdef {A database-title}{A database}
'xrdef {A database-pg}{37}
'xrdef {A database-snt}{Section'tie5.6}
'xrdef {Visualisation-title}{Program Visualisation: pretty pictures}
'xrdef {Visualisation-pg}{37}
'xrdef {Visualisation-snt}{Section'tie5.7}
'xrdef {FAQ-title}{FAQ}
'xrdef {FAQ-pg}{39}
'xrdef {FAQ-snt}{Chapter'tie6}
'xrdef {Future-title}{Future work}
'xrdef {Future-pg}{41}
'xrdef {Future-snt}{Chapter'tie7}
'xrdef {Index-title}{Index}
'xrdef {Index-pg}{43}
'xrdef {Index-snt}{Appendix'tie'char65{}}