%\filename{all.tex}
%\edited{last by stolfi on Wed May 18 04:32:20 1988}

% Thesis macros
% to be input after loading a comon format (cm10fmt.tex, etc)

\input /home/staff/stolfi/tex/su/geomacros
\input /home/staff/stolfi/tex/su/twosidedmacros

\input /home/staff/stolfi/tex/su/thesisstyle/tagmacros
\input /home/staff/stolfi/tex/su/thesisstyle/sectionmacros

\input special\relax

\newlocaltag\Fig
\newlocaltag\Eq
\newlocaltag\Th
\newlocaltag\Def
\newtag\Ref

\input /home/staff/stolfi/tex/su/thesisstyle/figuremacros

\catcode`@=11\endlinechar=-1

% FIGURES

    \def\figmag{50}

% PROOFS 

    \outer\def\beginproof{
      \unvskip
      \smallvbreak
      \begingroup
      \advance\parindent by -\proofindent
      \advance\leftglue by \proofindent \begproofmark}
    \outer\def\endproof{\endproofmark\par\endgroup
      \vskip 1.0ex plus 1.0ex}

    \def\begproofmark{\noindent\null\kern-\proofindent{\smallsize\rm PROOF: }}
    \def\endproofmark{\par\penalty10000\noindent
        \kern-\proofindent{\smallsize\rm QED.}
      }

% PROGRAMS

    \def\progkeyfont{\tt}
    \def\progfunfont{\tt}
    \def\progremfont{\it}
    \def\progvarfont{\it}

    \progcommindent=\progstepindent
    
    % \def\progopenrem{\hbox to\progcontindent{$\lbrace$\hss}}
    % \def\progcloserem{\hbox to \progcontindent{\hss$\rbrace$}}
    
    \def\progopenrem{\hbox to\progcontindent{$\ast$\hss}}
    \def\progcloserem{}

% PUSH DOWN SUBSCRIPTS (in base style):

  \fontdimen17\bigBAsyfont=1.3\fontdimen17\bigBAsyfont \relax
  \fontdimen17\norBAsyfont=1.3\fontdimen17\norBAsyfont \relax
  \fontdimen17\smaBAsyfont=1.3\fontdimen17\smaBAsyfont \relax
  
  \fontdimen16\bigBAsyfont=\fontdimen17\bigBAsyfont \relax
  \fontdimen16\norBAsyfont=\fontdimen17\norBAsyfont \relax
  \fontdimen16\smaBAsyfont=\fontdimen17\smaBAsyfont \relax

\catcode`@=12\endlinechar=`\^^M

% DEFAULT STYLE SETTINGS

\textformat{thesis}

\printfilestampfalse
\omitfiguresfalse\captionsonlytrue\showfigboxfalse
\omitnotesfalse
\omitjunkfalse
\refcrunchtrue


\input \jobname.tags

\newwrite\newtags
\immediate\openout\newtags=\jobname.newtags

\newwrite\contents
\immediate\openout\contents=\jobname.contents

% END

