1 \usepackage{beamerthemeplaincu}

     2 \usepackage{beamerthemeplaincu}

     2 %%\usepackage{ulem}

     3 %%\usepackage{ulem}

     3 \usepackage[T1]{fontenc}

     4 \usepackage[T1]{fontenc}

     4 \usepackage{proof}

     5 \usepackage{proof}

     5 \usepackage[latin1]{inputenc}

     6 \usepackage[latin1]{inputenc}

   128 %  }%

   129 %  }%

   129 % }%

   130 % }%

   130 %}%

   131 %}%

   131 

   132 

   132 

   133 

   133 \newenvironment{isatabbing}%

   135 \newenvironment{isatabbing}%

   134 {\renewcommand{\isanewline}{\\}\begin{tabbing}}%

   136 {\renewcommand{\isanewline}{\\}\begin{tabbing}}%

   135 {\end{tabbing}}

   137 {\end{tabbing}}

   136 

   138 

   137 \begin{document}

   139 \begin{document}

   138 \input{session}

   141 \input{session}

   139 \end{document}

   142 \end{document}

   140 

   143 

   141 %%% Local Variables:  

   144 %%% Local Variables:  

   142 %%% mode: latex

   145 %%% mode: latex