summaryrefslogtreecommitdiff
path: root/doc/common/title.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/common/title.tex')
-rwxr-xr-xdoc/common/title.tex73
1 files changed, 0 insertions, 73 deletions
diff --git a/doc/common/title.tex b/doc/common/title.tex
deleted file mode 100755
index 38ec0e55..00000000
--- a/doc/common/title.tex
+++ /dev/null
@@ -1,73 +0,0 @@
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% File title.tex
-% Page formatting commands
-% Macro \coverpage
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-%\setlength{\marginparwidth}{0pt}
-%\setlength{\oddsidemargin}{0pt}
-%\setlength{\evensidemargin}{0pt}
-%\setlength{\marginparsep}{0pt}
-%\setlength{\topmargin}{0pt}
-%\setlength{\textwidth}{16.9cm}
-%\setlength{\textheight}{22cm}
-%\usepackage{fullpage}
-
-%\newcommand{\printingdate}{\today}
-%\newcommand{\isdraft}{\Large\bf\today\\[20pt]}
-%\newcommand{\isdraft}{\vspace{20pt}}
-
-\newcommand{\coverpage}[3]{
-\thispagestyle{empty}
-\begin{center}
-\bfseries % for the rest of this page, until \end{center}
-\Huge
-The Coq Proof Assistant\\[12pt]
-#1\\[20pt]
-\Large\today\\[20pt]
-Version \coqversion%\footnote[1]{This research was partly supported by IST working group ``Types''}
-
-\vspace{0pt plus .5fill}
-#2
-\par\vfill
-The Coq Development Team
-
-\vspace*{15pt}
-\end{center}
-\newpage
-
-\thispagestyle{empty}
-\hbox{}\vfill % without \hbox \vfill does not work at the top of the page
-\begin{flushleft}
-%BEGIN LATEX
-V\coqversion, \today
-\par\vspace{20pt}
-%END LATEX
-\copyright INRIA 1999-2004 ({\Coq} versions 7.x)
-
-\copyright INRIA 2004-2011 ({\Coq} versions 8.x)
-
-#3
-\end{flushleft}
-} % end of \coverpage definition
-
-
-% \newcommand{\shorttitle}[1]{
-% \begin{center}
-% \begin{huge}
-% \begin{bf}
-% The Coq Proof Assistant\\
-% \vspace{10pt}
-% #1\\
-% \end{bf}
-% \end{huge}
-% \end{center}
-% \vspace{5pt}
-% }
-
-% Local Variables:
-% mode: LaTeX
-% TeX-master: ""
-% End:
-
-% $Id: title.tex 14641 2011-11-06 11:59:10Z herbelin $