\hbox to\hsize {\hss \twelvebf Table of Contents\hss }\vskip \bigskipamount \vskip \bigskipamount 
\vskip \bigskipamount \hbox to\hsize {\tenbf 1\hskip 1em\relax Introduction \leaders \hbox to 1em{\hss .\hss }\hfil 1}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 1.3\hskip 1em\relax Some Associations \leaders \hbox to 1em{\hss .\hss }\hfil 1}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 1.3\hskip 1em\relax A Few Words About the Editor \leaders \hbox to 1em{\hss .\hss }\hfil 1}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 1.3\hskip 1em\relax The Layout of V\kern -2.7pt\lower .5ex\hbox {O\kern -1.4pt R}\kern -2.6pt T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX \leaders \hbox to 1em{\hss .\hss }\hfil 2}
\vskip \bigskipamount \hbox to\hsize {\tenbf 2\hskip 1em\relax The Editing Paradigm \leaders \hbox to 1em{\hss .\hss }\hfil 3}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 2.3\hskip 1em\relax Our Problems with T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX \leaders \hbox to 1em{\hss .\hss }\hfil 3}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 2.3\hskip 1em\relax What We Have Done \leaders \hbox to 1em{\hss .\hss }\hfil 3}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 2.4\hskip 1em\relax Separation of Responsibility \leaders \hbox to 1em{\hss .\hss }\hfil 4}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 2.5\hskip 1em\relax The Selection is the Thing \leaders \hbox to 1em{\hss .\hss }\hfil 5}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 2.5\hskip 1em\relax The Mapping Mechanism \leaders \hbox to 1em{\hss .\hss }\hfil 5}
\vskip \bigskipamount \hbox to\hsize {\tenbf 3\hskip 1em\relax The Three Pieces \leaders \hbox to 1em{\hss .\hss }\hfil 6}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 3.2\hskip 1em\relax The Source Editor \leaders \hbox to 1em{\hss .\hss }\hfil 6}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 3.3\hskip 1em\relax The Proof Editor \leaders \hbox to 1em{\hss .\hss }\hfil 7}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 3.3\hskip 1em\relax The Formatter \leaders \hbox to 1em{\hss .\hss }\hfil 7}
\vskip \bigskipamount \hbox to\hsize {\tenbf 4\hskip 1em\relax System Lisp Commands \leaders \hbox to 1em{\hss .\hss }\hfil 8}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 4.1\hskip 1em\relax Proof Editor Commands \leaders \hbox to 1em{\hss .\hss }\hfil 8}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 4.2\hskip 1em\relax Formatter Commands \leaders \hbox to 1em{\hss .\hss }\hfil 9}
\vskip \bigskipamount \hbox to\hsize {\tenbf 5\hskip 1em\relax Communications Protocols \leaders \hbox to 1em{\hss .\hss }\hfil 11}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 5.1\hskip 1em\relax Global Protocol \leaders \hbox to 1em{\hss .\hss }\hfil 11}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 5.2\hskip 1em\relax Proof/Source Protocol \leaders \hbox to 1em{\hss .\hss }\hfil 12}
\vskip \medskipamount \hbox to\hsize {\hskip 2em\relax \tenrm 5.3\hskip 1em\relax Formatter/Source Protocol \leaders \hbox to 1em{\hss .\hss }\hfil 15}
\vskip \bigskipamount \hbox to\hsize {\tenbf 6\hskip 1em\relax Restrictions and Assumptions \leaders \hbox to 1em{\hss .\hss }\hfil 17}
