Ignore:
Timestamp:
Apr 30, 2013, 11:45:00 AM (6 years ago)
Author:
tranquil
Message:

added pages to included papers. final version.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/itp-2013/ccexec.tex

    r3213 r3222  
    3131
    3232\begin{document}
     33\pagestyle{plain}
    3334
    3435\title{Certification of the Preservation of Structure by a Compiler's Back-end Pass\thanks{The project CerCo acknowledges the financial support of the Future and
Note: See TracChangeset for help on using the changeset viewer.