Subversion Repositories TPPL

Rev

Blame | Last modification | View Log | RSS feed

% aims:
% * support for agreements in project planning:
%   * What is the TPPL prototype good for ?
%   * What are general directions of development for successors ?
%   * Reflect possibly different views of TP, software verification and CA
% * raw material for proposal

\documentclass[11pt,a4paper]{scrartcl}
 
\usepackage[utf8]{inputenc
}
%\usepackage[onehalfspacing]{setspace}
\usepackage[singlespacing]{setspace}
\usepackage{paralist}
\usepackage{graphicx}
\usepackage{url}
\usepackage{proof}
\usepackage{amsmath}
\usepackage{amssymb
} %\leadsto
\usepackage{sty/isabelle}
\usepackage{sty/isabellesym}

\usepackage{sty/editing
}                    %DISABLE FOR FINAL VERSION
\usepackage{ulem}   %strike-through in texts by \sout
\usepackage{cancel} %strike-through in math by \cancel

\renewenvironment{quote}
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
  {\endlist}
\newcommand{\quotebreak}{\\[1.2ex]}
\newcommand{\secref}[1]{\S\ref{#1}}
\renewcommand{\isachardoublequoteopen}{}
\renewcommand{\isachardoublequoteclose}{}
\renewcommand{\isacharbar}{$|$}
\renewcommand{\isacharhash}{:}
\newcommand{\eqnnewline}{\\[1.3ex]}
\newenvironment{simplegather}{\[\begin{gathered}}{\end{gathered}\]}
\newenvironment{simplealign}{\[\begin{aligned}}{\end{aligned}\]}

\bibliographystyle{alpha}

\title{Design and Prototype for a \\
  TP-based Programming Language\\
  {\Large Draft for an FWF proposal}}

\begin{document
}
%%%%%%%%%%%%%\maketitle
{\small
\begin{spacing}{1}\tableofcontents\end{spacing}
}
\newpage

\include{TPPL-require-content-OLD}

\newpage

\begin{spacing}{1}\bibliography{references}\end{spacing}

\end{document
}