From 946a1dcdce00d4a350fee92ae4931300e6170719 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Thu, 16 Jul 2015 03:17:46 +0200
Subject: File renaming

---
 portada/defs.tex    |  25 -------------------------
 portada/fic.png     | Bin 241098 -> 0 bytes
 portada/portada.png | Bin 22317 -> 0 bytes
 portada/portada.tex |  53 ----------------------------------------------------
 portada/upmc.png    | Bin 15449 -> 0 bytes
 5 files changed, 78 deletions(-)
 delete mode 100644 portada/defs.tex
 delete mode 100644 portada/fic.png
 delete mode 100644 portada/portada.png
 delete mode 100644 portada/portada.tex
 delete mode 100644 portada/upmc.png

(limited to 'portada')

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
Binary files a/portada/fic.png and /dev/null differ
diff --git a/portada/portada.png b/portada/portada.png
deleted file mode 100644
index c558fa4..0000000
Binary files a/portada/portada.png and /dev/null 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
Binary files a/portada/upmc.png and /dev/null differ
-- 
cgit v1.2.3