% (find-LATEX "beamer-template.tex")
% (find-LATEX "BSTEM.tex")
%
% (defun c () (interactive) (find-LATEXsh "run-latex 'stem=BSTEM;pla'"))
% (defun c () (interactive) (find-LATEXsh "run-latex 'stem=BSTEM;d4;pla'"))
% (defun d () (interactive) (find-xpdfpage "~/LATEX/BSTEM.pdf"))
% (defun fra () (interactive) (insert "\n% <>\n%\n\\begin{frame}\n\\frametitle{}\n\\end{frame}\n"))
%
% (find-pen-links)
% (find-sh0 "cp -v ~/LATEX/BSTEM.pdf /tmp/pen/BSTEM.pdf")

% «.title-page»		(to "title-page")
% «.bibliography»	(to "bibliography")

\documentclass[hyperref=colorlinks]{beamer} % (find-es "beamer" "hyperref")
\usepackage{etex}               % (find-es "tex" "no-room-for-a-new-dimen")
\mode<presentation>{
  \usetheme{Boadilla}
  \useinnertheme{default}
  \useinnertheme{rectangles}
  \setbeamercovered{transparent}
}
\usepackage[english]{babel}
\usepackage[latin1]{inputenc}
% \usepackage{times}
\usepackage[T1]{fontenc}
\usepackage{edrx08}             % (find-dn4ex "edrx08.sty")
%L process "edrx08.sty"        -- (find-dn4ex "edrx08.sty")

\input BSTEM.dnt

\begin{document}
\setbeamertemplate{navigation symbols}{} % (find-es "beamer" "navigation")



% «.title-page»		(to "title-page")
%
\title{TITLE}
\author{Eduardo Ochs}
\institute[PURO/UFF]{
  Departmento de Física e Matemática\\
  Pólo Universitário de Rio das Ostras\\
  UFF\\
  % \footnotesize
  \scriptsize
  \url{http://angg.twu.net/math-b.html}
  \url{http://angg.twu.net/ferramentas-para-ativistas.html}
  \scriptscriptsize
  (Version: 2014apr09)
}
\date{EBL 2014}
%
\begin{frame}
\titlepage
\end{frame}



% «bibliography» (to ".bibliography")
%
\begin{frame}[allowframebreaks]
  \frametitle{For Further Reading}
  \begin{thebibliography}{10}
  \beamertemplatebookbibitems
  \bibitem{Bell1988}
    J.L.~Bell.
    \newblock {\em Toposes and Local Set Theories}.
    \newblock Oxford, 1988 (re-ed: Dover, 2007).
  \beamertemplatearticlebibitems
  \bibitem{Ochs2013}
    E.~Ochs.
    \newblock{\em Internal Diagrams and Archetypal Reasoning in Category Theory}
    \newblock Logica Universalis, 2013
    \newblock{\url{http://angg.twu.net/math-b.html}}.
  % (find-TH "math-b" "sheaves-on-zdags")
  % (find-TH "math-b" "internal-diags-in-ct")
  \end{thebibliography}
\end{frame}

\end{document}

% Local Variables:
% coding: raw-text-unix
% End:
