Capturas de pantalla

5 files changed, 50 insertions, 18 deletions

diff --git a/img/br93.png b/img/br93.png
new file mode 100644
index 0000000..a6d568a
--- /dev/null
+++ b/img/br93.png
diff --git a/img/index.png b/img/index.png
new file mode 100644
index 0000000..e47be96
--- /dev/null
+++ b/img/index.png
diff --git a/img/login.png b/img/login.png
new file mode 100644
index 0000000..586d84f
--- /dev/null
+++ b/img/login.png
diff --git a/img/register.png b/img/register.png
new file mode 100644
index 0000000..60a41ea
--- /dev/null
+++ b/img/register.png
diff --git a/memoria.tex b/memoria.tex
index 5b69889..92db976 100755
--- a/memoria.tex
+++ b/memoria.tex
@@ -32,8 +32,13 @@
 
 \emptypage
 \chapter*{Resumen}
+
+TODO
+
 \chapter*{Abstract}
 
+TODO
+
 \emptypage
 \tableofcontents
 
@@ -827,7 +832,7 @@ TODO: Modificaciones en EcTyping, EcFol, EcEnv, EcScope, EcTheory, EcPV,
 EcCommands... :)
 
 \section{Modificaciones al pretty-printer}
-\label{sec:modif-al-anal-sem}
+\label{sec:modif-al-pretty}
 
 TODO: Modificaciones en EcPrinting
 
@@ -846,9 +851,15 @@ navegador.
 \label{sec:diseno-1}
 
 La mayor inspiración que tenemos para el diseño es el del propio Proof General,
-que es con lo que se trabaja en EasyCrypt normalmente:
+que es con lo que se trabaja en EasyCrypt normalmente (figura \ref{fig:br93}).
 
-// [TODO screenshot de Emacs + ProofGeneral]
+\begin{figure}[p]
+  \centering
+  \includegraphics[width=1.0\textwidth]{img/br93.png}
+  \caption{Desarrollo de pruebas en EasyCrypt usando Emacs y Proof General.\\
+    A la izquierda: código fuente; a la derecha: objetivos y resultados.}
+  \label{fig:br93}
+\end{figure}
 
 En nuestro caso, la parte fundamental de la interfaz será el editor de código
 fuente. Los resultados de la evaluación del código se mostrarán a la derecha del
@@ -861,11 +872,11 @@ puede ver el primer prototipo de la página principal de la web\footnote{A pesar
   formulario de creación de cuentas de usuario, etc.), en este documento no se
   mencionarán por no ser tan relevantes en su interacción con EasyCrypt.}.
 
-\begin{figure}[ht]
-    \centering
-    \includegraphics[width=0.8\textwidth]{img/web-prototype.png}
-    \caption{Diseño de la página principal}
-    \label{fig:prototype}
+\begin{figure}[p]
+  \centering
+  \includegraphics[width=0.9\textwidth]{img/web-prototype.png}
+  \caption{Diseño de la página principal de la interfaz web}
+  \label{fig:prototype}
 \end{figure}
 
 En cuanto al diseño del sistema en general, se han utilizado varios marcos y
@@ -1064,22 +1075,39 @@ con una captura de pantalla de su resultado una vez servidas:
   web y se cargan recursos externos como el tema CSS, bibliotecas de JavaScript,
   etc. No se usa directamente, sino que se importa desde otras plantillas usando
   la directiva \textbf{extends} de Django.
+
 \item \textbf{login.html}, servida cuando se accede a la página de inicio de
   sesión. Un ejemplo de su resultado final:
 
-  TODO captura de pantalla
+  \begin{figure}[H]
+    \centering
+    \includegraphics[width=1\textwidth]{img/login.png}
+    \caption{Pantalla de inicio de sesión}
+    \label{fig:login}
+  \end{figure}
+
 \item \textbf{register.html}, servida cuando se accede a la página de registro
   de usuarios. Su resultado:
 
-  TODO captura de pantalla
+  \begin{figure}[H]
+    \centering
+    \includegraphics[width=1\textwidth]{img/register.png}
+    \caption{Pantalla de registro}
+    \label{fig:register}
+  \end{figure}
+
 \item \textbf{index.html}, la plantilla que sirve la pantalla principal. Cuando
   no hay ninguna sesión iniciada, se muestra un mensaje de bienvenida:
 
-  TODO captura de pantalla
+  \begin{figure}[H]
+    \centering
+    \includegraphics[width=1\textwidth]{img/index.png}
+    \caption{Pantalla principal (sin haber iniciado sesión)}
+    \label{fig:index}
+  \end{figure}
 
-  Una vez el usuario ha iniciado sesión, se muestra la página principal de la
-  interfaz web, con navegador de proyectos, editor de texto y resultados de la
-  evaluación.
+  Una vez el usuario ha iniciado sesión, se mostrará la página principal de la
+  interfaz web, que construiremos en la sección \ref{sec:impl-cliente}.
 \end{itemize}
 
 \subsection{Controlador}
@@ -1175,8 +1203,8 @@ implementación de este componente, partiendo del diseño de la figura
 
 A la hora de distribuir los elementos de la página principal se ha usado una
 característica concreta de Twitter Bootstrap: su sistema de
-rejillas\footnote{\url{http://getbootstrap.com/css/#grid}}. Bootstrap define dos
-elementos para trabajar con rejillas: \textbf{filas} y \textbf{columnas}. Se
+rejillas\footnote{\url{http://getbootstrap.com/css/\#grid}}. Bootstrap define
+dos elementos para trabajar con rejillas: \textbf{filas} y \textbf{columnas}. Se
 empieza definiendo una serie de filas que se apilarán una sobre la otra. Dentro
 de cada fila debe haber una o varias columnas, y a cada una de ellas se le
 asigna un porcentaje de la anchura de la fila contenedora. Por último, las
@@ -1190,20 +1218,24 @@ TODO
 
 TODO
 
-% A dormir!
-
 \emptypage
 \chapter{RESULTADOS Y CONCLUSIONES}
 \label{cha:result-y-concl}
 
+TODO
+
 \emptypage
 \chapter{CONTRIBUCIONES}
 \label{cha:contribuciones}
 
+TODO
+
 \emptypage
 \chapter{ANEXOS}
 \label{cha:anexos}
 
+TODO
+
 \pagebreak \bibliography{bib}{} \bibliographystyle{ieeetr}
 
 \end{document}