Initial commit

5 files changed, 82 insertions, 0 deletions

diff --git a/portada/defs.tex b/portada/defs.tex
new file mode 100644
index 0000000..30f2888
--- /dev/null
+++ b/portada/defs.tex
@@ -0,0 +1,25 @@
+\usepackage{xcolor}
+
+\usepackage{changepage}
+\usepackage{eso-pic}
+\newcommand\BackgroundPic{
+  \put(-4,0){
+    \parbox[b][\paperheight]{\paperwidth}{
+      \vfill
+      \centering
+      \includegraphics[width=\paperwidth,height=\paperheight]{portada/portada.png}
+      \vfill
+    }
+  }
+}
+
+\definecolor{PortadaBlue}{HTML}{31489F}
+
+\newcommand{\Author}{Guillermo Ramos Gutiérrez}
+\newcommand{\Director}{Manuel Carro Liñares}
+\newcommand{\Codirector}{Pierre-Yves Strub}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "../memoria"
+%%% End:
\ No newline at end of file
diff --git a/portada/fic.png b/portada/fic.png
new file mode 100644
index 0000000..2a36204
--- /dev/null
+++ b/portada/fic.png
diff --git a/portada/portada.png b/portada/portada.png
new file mode 100644
index 0000000..c558fa4
--- /dev/null
+++ b/portada/portada.png
diff --git a/portada/portada.tex b/portada/portada.tex
new file mode 100644
index 0000000..a0d532f
--- /dev/null
+++ b/portada/portada.tex
@@ -0,0 +1,57 @@
+\title{\Title}
+\author{\textbf{Autor}: \Author
+  \\\textbf{Director}: \Director}
+
+\AddToShipoutPicture*{\BackgroundPic}
+\newgeometry{inner=1cm,outer=1cm,top=0.5cm,bottom=1cm}
+\begin{titlepage}
+  \begin{figure}
+    \begin{minipage}{.5\linewidth}
+      \begin{flushleft}
+        \includegraphics[scale=0.75]{portada/upmc.png}
+      \end{flushleft}
+    \end{minipage}
+    \begin{minipage}{.5\linewidth}
+      \begin{flushright}
+        \includegraphics[scale=0.185]{portada/fic.png}
+      \end{flushright}
+    \end{minipage}
+  \end{figure}
+
+  \begin{center}
+    {\color{PortadaBlue}
+      { \large \  }\\[0.4cm]
+      { \LARGE \bfseries \underline{Máster Universitario en Software y Sistemas}}\\[1.8cm]
+      { \Large \bfseries Universidad Politécnica de Madrid}\\[0.2cm]
+      { \large Escuela Técnica Superior de Ingenieros Informáticos}\\[2cm]
+      { \LARGE \bfseries TRABAJO FIN DE MÁSTER}\\[3.5cm]
+
+      \begin{adjustwidth}{2cm}{1cm}
+        \begin{center}
+          { \Huge \bfseries {Implementing a term rewriting}}\\[0.5cm]
+          { \Huge \bfseries {engine for the EasyCrypt framework}}\\[2.7cm]
+        \end{center}
+      \end{adjustwidth}
+
+      \begin{adjustwidth}{5.5cm}{1cm}
+        {\Large \textbf{Autor:} \Author }\\[0.3cm]
+        {\Large \textbf{Director:} \Director }\\[0.3cm]
+        {\Large \textbf{Co-director:} \Codirector }\\[2.5cm]
+      \end{adjustwidth}
+
+    }
+  \end{center}
+  \begin{flushright}
+    {\color{PortadaBlue}
+      { \Large  MADRID, JUNIO DE 2014}\\
+    }
+  \end{flushright}
+\end{titlepage}
+
+\ClearShipoutPicture
+\restoregeometry
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "../memoria"
+%%% End:
\ No newline at end of file
diff --git a/portada/upmc.png b/portada/upmc.png
new file mode 100644
index 0000000..93ea544
--- /dev/null
+++ b/portada/upmc.png