summaryrefslogtreecommitdiff
path: root/portada
diff options
context:
space:
mode:
Diffstat (limited to 'portada')
-rw-r--r--portada/defs.tex25
-rw-r--r--portada/fic.pngbin241098 -> 0 bytes
-rw-r--r--portada/portada.pngbin22317 -> 0 bytes
-rw-r--r--portada/portada.tex53
-rw-r--r--portada/upmc.pngbin15449 -> 0 bytes
5 files changed, 0 insertions, 78 deletions
diff --git a/portada/defs.tex b/portada/defs.tex
deleted file mode 100644
index 228d9a7..0000000
--- a/portada/defs.tex
+++ /dev/null
@@ -1,25 +0,0 @@
-\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
deleted file mode 100644
index 2a36204..0000000
--- a/portada/fic.png
+++ /dev/null
Binary files differ
diff --git a/portada/portada.png b/portada/portada.png
deleted file mode 100644
index c558fa4..0000000
--- a/portada/portada.png
+++ /dev/null
Binary files differ
diff --git a/portada/portada.tex b/portada/portada.tex
deleted file mode 100644
index aede6ba..0000000
--- a/portada/portada.tex
+++ /dev/null
@@ -1,53 +0,0 @@
-\title{\Title}
-\author{\textbf{Autor}: \Author \\
- \textbf{Director}: \Director}
-
-% \AddToShipoutPicture*{\BackgroundPic}
-\newgeometry{inner=1cm,outer=1cm,top=0.5cm,bottom=1cm,left=1.5cm,right=1.5cm}
-\begin{titlepage}
- \begin{figure}
- \begin{minipage}{.5\linewidth}
- \begin{flushleft}
- \includegraphics[scale=0.8]{portada/upmc.png}
- \end{flushleft}
- \end{minipage}
- \begin{minipage}{.49\linewidth}
- \begin{flushright}
- \includegraphics[scale=0.21]{portada/fic.png}
- \end{flushright}
- \end{minipage}
- \end{figure}
-
- \begin{center}
- % \color{PortadaBlue}
- \large{\textbf{UNIVERSIDAD POLITÉCNICA DE MADRID}} \\[1.8cm]
- \large{E.T.S.I. INFORMÁTICOS} \\[1.8cm]
- \large{MASTER UNIVERSITARIO EN SOFTWARE Y SISTEMAS} \\[1.8cm]
- \large{TRABAJO DE FIN DE MASTER} \\[3cm]
-
- \begin{adjustwidth}{2cm}{1cm}
- \begin{center}
- \LARGE{\textbf{Implementing a term rewriting}} \\[0.4cm]
- \LARGE{\textbf{engine for the EasyCrypt framework}} \\[3cm]
- \end{center}
- \end{adjustwidth}
-
- \begin{adjustwidth}{5.5cm}{1cm}
- \Large{\textbf{Autor:} \Author} \\[0.2cm]
- \Large{\textbf{Director:} \Director} \\[0.2cm]
- \Large{\textbf{Co-director:} \Codirector} \\[2.4cm]
- \end{adjustwidth}
- \end{center}
- \begin{flushright}
- % \color{PortadaBlue}
- \large{MADRID, 28 de julio de 2015} \\
- \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
deleted file mode 100644
index 93ea544..0000000
--- a/portada/upmc.png
+++ /dev/null
Binary files differ