% (find-angg "LATEX/2017biblatex.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2017biblatex.tex"))
% (defun d () (interactive) (find-xpdfpage "~/LATEX/2017biblatex.pdf"))
% (defun b () (interactive) (find-zsh "bibtex 2017biblatex; makeindex 2017biblatex"))
% (defun e () (interactive) (find-LATEX "2017biblatex.tex"))
% (defun u () (interactive) (find-latex-upload-links "2017biblatex"))
% (find-xpdfpage "~/LATEX/2017biblatex.pdf")
% (find-sh0 "cp -v  ~/LATEX/2017biblatex.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2017biblatex.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2017biblatex.pdf
%               file:///tmp/2017biblatex.pdf
%           file:///tmp/pen/2017biblatex.pdf
% http://angg.twu.net/LATEX/2017biblatex.pdf
\documentclass[oneside]{article}
\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
\usepackage{color}                % (find-LATEX "edrx15.sty" "colors")
\usepackage{colorweb}             % (find-es "tex" "colorweb")
\usepackage[backend=biber,
   style=alphabetic]{biblatex} % (find-es "tex" "biber")
\addbibresource{catsem-u.bib}
%\addbibresource[bibstyle=alphabetic]{catsem.bib}
\begin{document}

% (find-LATEX "catsem-u.bib")
%
\cite{Fitting72}
\cite{Awodey}
\cite{Goedel1933fintro}
\cite{Goedel1933f}
\cite{ModalHandbook}

\printbibliography

\end{document}


% (find-es "tex" "biblatex")
% (find-angg ".emacs.papers" "biblatex")

 (eepitch-shell)
 (eepitch-kill)
 (eepitch-shell)
# (find-fline "/tmp/bl/")
rm -Rv /tmp/bl/
mkdir  /tmp/bl/
cd     /tmp/bl/
cp -iv ~/LATEX/2017biblatex.tex ~/LATEX/catsem-u.bib /tmp/bl/
# pdflatex 2017biblatex.tex
lualatex 2017biblatex.tex
biber    2017biblatex
lualatex 2017biblatex.tex

# (find-xpdfpage "/tmp/bl/2017biblatex.pdf")



% Local Variables:
% coding: utf-8-unix
% ee-anchor-format: "«%s»"
% End:
