diff options
author | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-12 15:02:57 +0000 |
---|---|---|
committer | emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-04-12 15:02:57 +0000 |
commit | 7aeb305493f1d297dfebf9d0430a17ad0b7c4822 (patch) | |
tree | b8b0afe863a72945c24340a05e8ba9eba3888718 /doc/common/title.tex | |
parent | 86978d0d37501f5be22bf87ae474a849056f4f19 (diff) |
Cleaned doc/common/title.tex file. Increased the space under headers
in the reference manual.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9758 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/common/title.tex')
-rwxr-xr-x | doc/common/title.tex | 97 |
1 files changed, 42 insertions, 55 deletions
diff --git a/doc/common/title.tex b/doc/common/title.tex index 51e817cc5..83b5154fd 100755 --- a/doc/common/title.tex +++ b/doc/common/title.tex @@ -1,78 +1,69 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % File title.tex -% Page formatting commands +% Page formatting commands % Macro \coverpage %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\setlength{\marginparwidth}{0pt} %\setlength{\oddsidemargin}{0pt} -%\setlength{\evensidemargin}{0pt} +%\setlength{\evensidemargin}{0pt} %\setlength{\marginparsep}{0pt} -%\setlength{\topmargin}{0pt} -%\setlength{\textwidth}{16.9cm} +%\setlength{\topmargin}{0pt} +%\setlength{\textwidth}{16.9cm} %\setlength{\textheight}{22cm} -\usepackage{fullpage} +%\usepackage{fullpage} -\newcommand{\printingdate}{\today} -\newcommand{\isdraft}{\Large\bf\today\\[20pt]} +%\newcommand{\printingdate}{\today} +%\newcommand{\isdraft}{\Large\bf\today\\[20pt]} %\newcommand{\isdraft}{\vspace{20pt}} -%To show the top for the toc in html -\newcommand{\tophtml}{} - \newcommand{\coverpage}[3]{ \thispagestyle{empty} \begin{center} -\begin{Huge} -\begin{bf} -The Coq Proof Assistant\\ -\vspace{12pt} - #1\\ -\end{bf} -\end{Huge} -\vspace{20pt} -\isdraft -{\Large \bf Version \coqversion} -\footnote[1]{This research was partly supported by IST working group ``Types''} -\\ -\vspace{120pt} -{\bf #2}\\ -\vfill -{\Large \bf LogiCal Project}\\ -\vspace{15pt} +\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 +LogiCal Project + +\vspace*{15pt} \end{center} -%BEGIN LATEX \newpage -\vspace*{500pt} + \thispagestyle{empty} -%END LATEX +\hbox{}\vfill % without \hbox \vfill does not work at the top of the page \begin{flushleft} %BEGIN LATEX -{\large{V\coqversion, -\printingdate}}\\[20pt] +V\coqversion, \today +\par\vspace{20pt} %END LATEX -{\large{\copyright INRIA 1999-2004 ({\Coq} versions 7.x)}}\\ -{\large{\copyright INRIA 2004-2006 ({\Coq} versions 8.x)}}\\ -{\large{#3}} +\copyright INRIA 1999-2004 ({\Coq} versions 7.x) + +\copyright INRIA 2004-2006 ({\Coq} versions 8.x) + +#3 \end{flushleft} -%BEGIN LATEX -\newpage -%END LATEX -} +} % 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} -} +% \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 @@ -80,7 +71,3 @@ The Coq Proof Assistant\\ % End: % $Id$ - - - - |