File renaming

5 files changed, 78 insertions, 0 deletions

diff --git a/front/bg.png b/front/bg.png
new file mode 100644
index 0000000..c558fa4
--- /dev/null
+++ b/front/bg.png
diff --git a/front/fic.png b/front/fic.png
new file mode 100644
index 0000000..2a36204
--- /dev/null
+++ b/front/fic.png
diff --git a/front/front-body.tex b/front/front-body.tex
new file mode 100644
index 0000000..d9c7d43
--- /dev/null
+++ b/front/front-body.tex
@@ -0,0 +1,53 @@
+\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]{front/upmc.png}
+      \end{flushleft}
+    \end{minipage}
+    \begin{minipage}{.49\linewidth}
+      \begin{flushright}
+        \includegraphics[scale=0.21]{front/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: "../tfm"
+%%% End:
\ No newline at end of file
diff --git a/front/front-init.tex b/front/front-init.tex
new file mode 100644
index 0000000..e2f4f66
--- /dev/null
+++ b/front/front-init.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]{front/bg.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: "../tfm"
+%%% End:
\ No newline at end of file
diff --git a/front/upmc.png b/front/upmc.png
new file mode 100644
index 0000000..93ea544
--- /dev/null
+++ b/front/upmc.png