Ignore:
Timestamp:
Mar 16, 2017, 12:39:35 PM (3 years ago)
Author:
mulligan
Message:

more cannibalisation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.tex

    r3656 r3657  
    7070\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
    7171\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
     72
     73\newcommand{\cerco}{CerCo}
     74\newcommand{\ocaml}{OCaml}
     75\newcommand{\clight}{Clight}
     76\newcommand{\matita}{Matita}
     77\newcommand{\sdcc}{\texttt{sdcc}}
    7278
    7379\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
Note: See TracChangeset for help on using the changeset viewer.