Changeset 918 for src/ASM/CPP2011/cpp-2011.tex
- Timestamp:
- Jun 9, 2011, 1:13:04 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2011/cpp-2011.tex
r917 r918 3 3 \usepackage[english]{babel} 4 4 \usepackage[colorlinks]{hyperref} 5 6 \title{Proving the correctness of an assembler for the MCS-51} 7 \author{} 8 \institute{Universit\'a di Bologna} 5 9 6 10 \begin{document} … … 11 15 \end{abstract} 12 16 17 % ---------------------------------------------------------------------------- % 18 % SECTION % 19 % ---------------------------------------------------------------------------- % 20 \section{Introduction} 21 \label{sect.introduction} 22 13 23 \end{document}
Note: See TracChangeset
for help on using the changeset viewer.