%
%=======================================================================
% power-spec.tex
%-----------------------------------------------------------------------

\documentclass[twoside,11pt]{book}

% Fix copy/pasting of ligatures in Acrobat
\input{glyphtounicode.tex}
\pdfgentounicode=1 %

\input{preamble}

\newcommand{\specrev}{\mbox{20200813-{\em draft}}}
\newcommand{\specmonthyear}{\mbox{August 2020}}

\usepackage[english]{babel}
\usepackage{datetime}
\longdate	% makes \today generate like: Wednesday 18th August, 2020

\begin{document}

\title{\vspace{-0.7in}\Large {\bf Additions to The PowerPC Instruction Set Manual} \\
  \large {\bf Libre-SOC Extensions} \\
  Document Version \specrev
  \vspace{-0.1in}}

\author{Editor: Alain D D Williams$^{1}$ \\
  $^{1}$Parliament Hill Computers Ltd, \\
  {\tt addw@phcomp.co.uk} \\
  \today
}
\date{} 
\maketitle

Contributors to all versions of the spec in
alphabetical order (please contact editors to suggest
corrections):
Luke Kenneth Casson Leighton, Jacob R Lifshay, Alain D D Williams

This document is released under a Creative Commons Attribution 4.0
International License.

Please cite as: ``The PowerPC Instruction Set Additions, Document Version \specrev'', Editors
Alain Williams, Libre-SOC, \specmonthyear.


\markboth{Volume I: PowerPC ISAMUX \specrev}
{Volume I: PowerPC ISAMUX \specrev}
\thispagestyle{empty}

\frontmatter

\input{preface}

{\hypersetup{linktoc=all,hidelinks}
\tableofcontents
}

\mainmatter

\input{intro}
\input{isamux}
% \input{rv32}
% \input{zifencei}
% \input{rv32e}
% \input{rv64}
% \input{rv128}
% \input{m}
% \input{a}
% \input{csr}
% \input{counters}
% \input{f}
% \input{d}
% \input{q}
% \input{rvwmo}
% \input{l}
% \input{c}
% \input{b}
% \input{j}
% \input{t}
% \input{p}
% \input{v}
% \input{zam}
% \input{ztso}
% \input{gmaps}
% \input{assembly}
% \input{extensions}
% \input{naming}
% \input{history}
% 
% \appendix
% \input{memory}

\bibliographystyle{plain}
\bibliography{power-spec}

\end{document}
