\contentsline {chapter}{\numberline {1}Overview}{1}
\contentsline {chapter}{\numberline {2}The axiom Command}{3}
\contentsline {subsection}{\numberline {2.0.1}[-ht $\delimiter "026A30C $ -noht]}{3}
\contentsline {subsection}{\numberline {2.0.2}[-gr $\delimiter "026A30C $ -nogr]}{4}
\contentsline {subsection}{\numberline {2.0.3}[-clef $\delimiter "026A30C $ -noclef]}{4}
\contentsline {subsection}{\numberline {2.0.4}[-nonag $\delimiter "026A30C $ -nag]}{5}
\contentsline {subsection}{\numberline {2.0.5}[-noiw $\delimiter "026A30C $ -iw]}{5}
\contentsline {subsection}{\numberline {2.0.6}[-ihere $\delimiter "026A30C $ -noihere]}{6}
\contentsline {subsection}{\numberline {2.0.7}[-nox]}{6}
\contentsline {subsection}{\numberline {2.0.8}[-go $\delimiter "026A30C $ -nogo]}{7}
\contentsline {subsection}{\numberline {2.0.9}[-ws wsname]}{7}
\contentsline {subsection}{\numberline {2.0.10}[-list]}{7}
\contentsline {subsection}{\numberline {2.0.11}[-grprog fname]}{7}
\contentsline {subsection}{\numberline {2.0.12}[-nagprog fname]}{8}
\contentsline {subsection}{\numberline {2.0.13}[-htprog fname]}{8}
\contentsline {subsection}{\numberline {2.0.14}[-clefprog fname]}{8}
\contentsline {subsection}{\numberline {2.0.15}[-sessionprog fname]}{8}
\contentsline {subsection}{\numberline {2.0.16}[-clientprog fname]}{8}
\contentsline {subsection}{\numberline {2.0.17}[-h]}{8}
\contentsline {chapter}{\numberline {3}The {\tt sman} program}{17}
\contentsline {section}{\numberline {3.1}sman.h}{17}
\contentsline {section}{\numberline {3.2}sman}{18}
\contentsline {subsection}{\numberline {3.2.1}includes}{18}
\contentsline {subsection}{\numberline {3.2.2}variables}{18}
\contentsline {subsection}{\numberline {3.2.3}process\_arguments}{20}
\contentsline {subsection}{\numberline {3.2.4}should\_I\_clef}{23}
\contentsline {subsection}{\numberline {3.2.5}in\_X}{23}
\contentsline {subsection}{\numberline {3.2.6}set\_up\_defaults}{23}
\contentsline {subsection}{\numberline {3.2.7}process\_options}{24}
\contentsline {subsection}{\numberline {3.2.8}death\_handler}{24}
\contentsline {subsection}{\numberline {3.2.9}nagman\_handler}{24}
\contentsline {subsection}{\numberline {3.2.10}sman\_catch\_signals}{25}
\contentsline {subsection}{\numberline {3.2.11}fix\_env}{26}
\contentsline {subsection}{\numberline {3.2.12}init\_term\_io}{26}
\contentsline {subsection}{\numberline {3.2.13}strPrefix}{27}
\contentsline {subsection}{\numberline {3.2.14}check\_spad\_proc}{27}
\contentsline {subsection}{\numberline {3.2.15}clean\_up\_old\_sockets}{28}
\contentsline {subsection}{\numberline {3.2.16}fork\_you}{28}
\contentsline {subsection}{\numberline {3.2.17}exec\_command\_env}{29}
\contentsline {subsection}{\numberline {3.2.18}spawn\_of\_hell}{29}
\contentsline {subsection}{\numberline {3.2.19}start\_the\_spadclient}{30}
\contentsline {subsection}{\numberline {3.2.20}start\_the\_local\_spadclient}{30}
\contentsline {subsection}{\numberline {3.2.21}start\_the\_nagman}{31}
\contentsline {subsection}{\numberline {3.2.22}start\_the\_session\_manager}{31}
\contentsline {subsection}{\numberline {3.2.23}start\_the\_hypertex}{32}
\contentsline {subsection}{\numberline {3.2.24}start\_the\_graphics}{32}
\contentsline {subsection}{\numberline {3.2.25}fork\_Axiom}{32}
\contentsline {subsection}{\numberline {3.2.26}start\_the\_Axiom}{34}
\contentsline {subsection}{\numberline {3.2.27}clean\_up\_sockets}{35}
\contentsline {subsection}{\numberline {3.2.28}read\_from\_spad\_io}{35}
\contentsline {subsection}{\numberline {3.2.29}read\_from\_manager}{36}
\contentsline {subsection}{\numberline {3.2.30}manage\_spad\_io}{37}
\contentsline {subsection}{\numberline {3.2.31}init\_spad\_process\_list}{38}
\contentsline {subsection}{\numberline {3.2.32}print\_spad\_process\_list}{38}
\contentsline {subsection}{\numberline {3.2.33}find\_child}{38}
\contentsline {subsection}{\numberline {3.2.34}kill\_all\_children}{39}
\contentsline {subsection}{\numberline {3.2.35}clean\_up\_terminal}{39}
\contentsline {subsection}{\numberline {3.2.36}monitor\_children}{39}
\contentsline {subsection}{\numberline {3.2.37}main sman}{41}
\contentsline {subsection}{\numberline {3.2.38}sman}{42}
\contentsline {chapter}{\numberline {4}Support Routines}{45}
\contentsline {section}{\numberline {4.1}Command Completion}{45}
\contentsline {chapter}{\numberline {5}The {\tt viewman} program}{47}
\contentsline {chapter}{\numberline {6}The {\tt nagman} program}{49}
\contentsline {section}{\numberline {6.1}nag.x}{49}
\contentsline {section}{\numberline {6.2}nagman}{50}
\contentsline {subsection}{\numberline {6.2.1}includes}{50}
\contentsline {subsection}{\numberline {6.2.2}variables}{51}
\contentsline {subsection}{\numberline {6.2.3}term}{52}
\contentsline {subsection}{\numberline {6.2.4}size\_of\_file}{53}
\contentsline {subsection}{\numberline {6.2.5}rpcloop}{53}
\contentsline {subsection}{\numberline {6.2.6}catchSignals}{59}
\contentsline {subsection}{\numberline {6.2.7}main nagman}{60}
\contentsline {subsection}{\numberline {6.2.8}nagman}{61}
\contentsline {chapter}{\numberline {7}The {\tt hypertex} program}{63}
\contentsline {chapter}{\numberline {8}The {\tt clef} program}{65}
\contentsline {chapter}{\numberline {9}The {\tt session} program}{67}
\contentsline {section}{\numberline {9.1}session}{67}
\contentsline {subsection}{\numberline {9.1.1}includes}{67}
\contentsline {subsection}{\numberline {9.1.2}variables}{68}
\contentsline {subsection}{\numberline {9.1.3}usr1\_handler}{68}
\contentsline {subsection}{\numberline {9.1.4}usr2\_handler}{68}
\contentsline {subsection}{\numberline {9.1.5}term\_handler}{69}
\contentsline {subsection}{\numberline {9.1.6}pr}{69}
\contentsline {subsection}{\numberline {9.1.7}close\_client}{70}
\contentsline {subsection}{\numberline {9.1.8}read\_SpadServer\_command}{71}
\contentsline {subsection}{\numberline {9.1.9}test\_sock\_for\_process}{72}
\contentsline {subsection}{\numberline {9.1.10}read\_menu\_client\_command}{72}
\contentsline {subsection}{\numberline {9.1.11}read\_from\_spad\_io}{73}
\contentsline {subsection}{\numberline {9.1.12}kill\_spad}{74}
\contentsline {subsection}{\numberline {9.1.13}accept\_session\_connection}{74}
\contentsline {subsection}{\numberline {9.1.14}read\_from\_session}{76}
\contentsline {subsection}{\numberline {9.1.15}manage\_sessions}{77}
\contentsline {subsection}{\numberline {9.1.16}main sessionmanager}{78}
\contentsline {subsection}{\numberline {9.1.17}session}{80}
\contentsline {chapter}{\numberline {10}The {\tt spadclient} program}{81}
\contentsline {section}{\numberline {10.1}spadclient}{81}
\contentsline {chapter}{\numberline {11}The Command Completion List}{83}
\contentsline {chapter}{\numberline {12}Research Topics}{167}
\contentsline {section}{\numberline {12.1}Proofs}{167}
\contentsline {section}{\numberline {12.2}Indefinites}{167}
\contentsline {section}{\numberline {12.3}Provisos}{168}
\contentsline {chapter}{\numberline {13}Makefile}{169}
\contentsline {section}{\numberline {13.1}Environment variables}{169}
\contentsline {section}{\numberline {13.2}The axiom command}{170}
\contentsline {section}{\numberline {13.3}session}{170}
\contentsline {section}{\numberline {13.4}nagman}{170}
\contentsline {section}{\numberline {13.5}spadclient}{171}
\contentsline {section}{\numberline {13.6}sman}{171}
