Changeset 918 for src/ASM/CPP2011/cpp-2011.tex

Timestamp:

Jun 9, 2011, 1:13:04 PM (9 years ago)

Author:

mulligan

Message:

headers added, etc.

File:

• src/ASM/CPP2011/cpp-2011.tex (modified) (2 diffs)

src/ASM/CPP2011/cpp-2011.tex

@@ -3 +3 @@
 \usepackage[english]{babel}
 \usepackage[colorlinks]{hyperref}
+
+\title{Proving the correctness of an assembler for the MCS-51}
+\author{}
+\institute{Universit\'a di Bologna}
 
 \begin{document}
@@ -11 +15 @@
 \end{abstract}
 
+% ---------------------------------------------------------------------------- %
+% SECTION                                                                      %
+% ---------------------------------------------------------------------------- %
+\section{Introduction}
+\label{sect.introduction}
+
 \end{document}