Cosillas

4 files changed, 43 insertions, 8 deletions

diff --git a/Makefile b/Makefile
index a5a2792..caaeec1 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,9 @@
 all:
 	latexmk -shell-escape -pvc --pdf -interaction=nonstopmode memoria.tex
 
+bare:
+	pdflatex -shell-escape memoria.tex
+
 clean:
 	rm -rf _region_.tex *.aux *.bbl *.blg *.brf *.dvi *.fdb_latexmk *.fls *.fmt *.idx *.log *.lol *.out *.prv *.toc
 
diff --git a/img/web-finished.png b/img/web-finished.png
new file mode 100644
index 0000000..3eb0e5e
--- /dev/null
+++ b/img/web-finished.png
diff --git a/memoria.tex b/memoria.tex
index e88623a..f0c3356 100755
--- a/memoria.tex
+++ b/memoria.tex
@@ -4,12 +4,12 @@
 \usepackage[spanish]{babel} \usepackage[utf8]{inputenc} \usepackage{url}
 \usepackage{graphicx} \usepackage{cite} \usepackage{amsmath}
 \usepackage{mathtools} \usepackage{listings} \usepackage{syntax}
-\usepackage[compact,small]{titlesec}\usepackage[usenames,dvipsnames]{xcolor}
+\usepackage[compact,small]{titlesec} \usepackage[usenames,dvipsnames]{xcolor}
 \usepackage[pagebackref,colorlinks=true,linkcolor=black,urlcolor=black,citecolor=blue]{hyperref}
-\usepackage{perpage}, \usepackage{subcaption}
+\usepackage{perpage} \usepackage{subcaption}
 
 \usepackage{tikz}
-\usepackage{lib/minted}
+\usepackage{minted}
 
 \usepackage{float}
 \floatstyle{boxed}
@@ -1364,20 +1364,52 @@ extremo (WebSocket o entrada de EasyCrypt, respectivamente).
 \chapter{CONTRIBUCIONES}
 \label{cha:contribuciones}
 
-TODO
+TODO coste
+
+En cuanto a la interfaz web, se ha conseguido implementar exitosamente un
+sistema multiusuario capaz de gestionar, editar y ejecutar proyectos de
+EasyCrypt, alcanzando una funcionalidad similar a la del sistema actual (Emacs +
+ProofGeneral) pero evitando los costes de instalación y aprendizaje del
+entorno. A corto plazo se puede contar con que los profesionales dedicados a la
+criptografía tengan menos reparos en usar EasyCrypt como herramienta de
+verificación. A largo plazo, esperamos haber contribuido a la adopción de estos
+métodos formales que tanto podrían aportar al mundo de la seguridad.
+
+\begin{figure}[h]
+  \centering
+  \includegraphics[width=1\textwidth]{img/web-finished.png}
+\end{figure}
+
+% TODO se adjunta el código aparte por si acaso
 
 \emptypage
-\chapter{RESULTADOS Y CONCLUSIONES}
+\chapter{CONCLUSIONES}
 \label{cha:result-y-concl}
 
-TODO
+TODO coste
+
+A lo largo
 
 \emptypage
-\chapter{ANEXOS}
+\chapter{ANEXOS}                % TODO quitar?
 \label{cha:anexos}
 
-TODO
+Todo el código desarrollado en el presente trabajo, una vez superados los
+protocolos de integración, se incorporará a la versión estable de EasyCrypt y
+podrá obtenerse desde el sitio web (\url{https://www.easycrypt.info}).
 
 \pagebreak \bibliography{bib}{} \bibliographystyle{ieeetr}
 
 \end{document}
+
+%% Navegador ficheros
+% 19 182
+% 224 514
+
+%% Editor y pestañas
+% 183 224
+% 632 515
+
+%% Resultados
+% 838 185
+% 420 510
\ No newline at end of file
diff --git a/lib/minted.sty b/minted.sty
index 0e0585c..0e0585c 100644
--- a/lib/minted.sty
+++ b/minted.sty