Changeset 1778 for Deliverables/D1.2/CompilerProofOutline

Timestamp:

Feb 27, 2012, 5:09:49 PM (8 years ago)

Author:

sacerdot

Message:

...

File:

• Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) (3 diffs)

Deliverables/D1.2/CompilerProofOutline/outline.tex

@@ -1 @@
-\documentclass[a4paper, 10pt]{article}
-
+\documentclass[11pt,a4paper]{article}
+\usepackage{../../style/cerco}
 \usepackage{a4wide}
 \usepackage{amsfonts}
@@ -9 +9 @@
 \usepackage{diagrams}
 \usepackage{graphicx}
-\usepackage[colorlinks]{hyperref}
-\usepackage[utf8x]{inputenc}
 \usepackage{listings}
 \usepackage{microtype}
@@ -26 +24 @@
 \usepackage{wasysym}
 
-
-\lstdefinelanguage{matita-ocaml} {
-  mathescape=true
-}
-\lstset{
-  language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false,
-  showspaces=false, showstringspaces=false, extendedchars=false,
-  inputencoding=utf8x, tabsize=2
-}
-
-\title{Proof outline for the correctness of the CerCo compiler}
-\date{\today}
-\author{The CerCo team}
+\hypersetup{bookmarksopenlevel=2}
+
+\title{
+INFORMATION AND COMMUNICATION TECHNOLOGIES\\
+(ICT)\\
+PROGRAMME\\
+\vspace*{1cm}Project FP7-ICT-2009-C-243881 {\cerco}}
+
+\date{ }
+\author{}
 
 \begin{document}
-
+\thispagestyle{empty}
+
+\vspace*{-1cm}
+\begin{center}
+\includegraphics[width=0.6\textwidth]{../../style/cerco_logo.png}
+\end{center}
+
+\begin{minipage}{\textwidth}
 \maketitle
+\end{minipage}
+
+
+\vspace*{0.5cm}
+\begin{center}
+\begin{LARGE}
+\bf
+Proof outline for the correctness of the CerCo compiler
+\end{LARGE} 
+\end{center}
+
+\vspace*{2cm}
+\begin{center}
+\begin{large}
+Version 1.0
+\end{large}
+\end{center}
+
+\vspace*{0.5cm}
+\begin{center}
+\begin{large}
+Main Authors:\\
+B. Campbell, D. Mulligan, P. Tranquilli, C. Sacerdoti Coen
+\end{large}
+\end{center}
+
+\vspace*{\fill}
+\noindent
+Project Acronym: {\cerco}\\
+Project full title: Certified Complexity\\
+Proposal/Contract no.: FP7-ICT-2009-C-243881 {\cerco}\\
+
+\clearpage \pagestyle{myheadings} \markright{{\cerco}, FP7-ICT-2009-C-243881}
+
+\tableofcontents
 
 \section{Introduction}