Changeset 1778


Ignore:
Timestamp:
Feb 27, 2012, 5:09:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1777 r1778  
    1 \documentclass[a4paper, 10pt]{article}
    2 
     1\documentclass[11pt,a4paper]{article}
     2\usepackage{../../style/cerco}
    33\usepackage{a4wide}
    44\usepackage{amsfonts}
     
    99\usepackage{diagrams}
    1010\usepackage{graphicx}
    11 \usepackage[colorlinks]{hyperref}
    12 \usepackage[utf8x]{inputenc}
    1311\usepackage{listings}
    1412\usepackage{microtype}
     
    2624\usepackage{wasysym}
    2725
    28 
    29 \lstdefinelanguage{matita-ocaml} {
    30   mathescape=true
    31 }
    32 \lstset{
    33   language=matita-ocaml,basicstyle=\tt,columns=flexible,breaklines=false,
    34   showspaces=false, showstringspaces=false, extendedchars=false,
    35   inputencoding=utf8x, tabsize=2
    36 }
    37 
    38 \title{Proof outline for the correctness of the CerCo compiler}
    39 \date{\today}
    40 \author{The CerCo team}
     26\hypersetup{bookmarksopenlevel=2}
     27
     28\title{
     29INFORMATION AND COMMUNICATION TECHNOLOGIES\\
     30(ICT)\\
     31PROGRAMME\\
     32\vspace*{1cm}Project FP7-ICT-2009-C-243881 {\cerco}}
     33
     34\date{ }
     35\author{}
    4136
    4237\begin{document}
    43 
     38\thispagestyle{empty}
     39
     40\vspace*{-1cm}
     41\begin{center}
     42\includegraphics[width=0.6\textwidth]{../../style/cerco_logo.png}
     43\end{center}
     44
     45\begin{minipage}{\textwidth}
    4446\maketitle
     47\end{minipage}
     48
     49
     50\vspace*{0.5cm}
     51\begin{center}
     52\begin{LARGE}
     53\bf
     54Proof outline for the correctness of the CerCo compiler
     55\end{LARGE}
     56\end{center}
     57
     58\vspace*{2cm}
     59\begin{center}
     60\begin{large}
     61Version 1.0
     62\end{large}
     63\end{center}
     64
     65\vspace*{0.5cm}
     66\begin{center}
     67\begin{large}
     68Main Authors:\\
     69B. Campbell, D. Mulligan, P. Tranquilli, C. Sacerdoti Coen
     70\end{large}
     71\end{center}
     72
     73\vspace*{\fill}
     74\noindent
     75Project Acronym: {\cerco}\\
     76Project full title: Certified Complexity\\
     77Proposal/Contract no.: FP7-ICT-2009-C-243881 {\cerco}\\
     78
     79\clearpage \pagestyle{myheadings} \markright{{\cerco}, FP7-ICT-2009-C-243881}
     80
     81\tableofcontents
    4582
    4683\section{Introduction}
Note: See TracChangeset for help on using the changeset viewer.