Ignore:
Timestamp:
Jun 15, 2011, 3:39:44 PM (9 years ago)
Author:
mulligan
Message:

more work on paper

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/lst-grafite.tex

    r958 r960  
    22mathescape=true,
    33texcl=false,
    4 keywords={include },
     4keywords={include},
    55morekeywords={record, with, match, let, rec, corec, inductive, definition, axiom,
    66        qed, intro, intros, symmetry, simplify, rewrite, apply, elim, assumption,
     
    151151%backgroundcolor=\color{gray},
    152152frame=tblr,
    153 frameround=tttt,
     153%frameround=tttt,
    154154columns=flexible,
    155 basicstyle=\small,
     155basicstyle=\footnotesize\tt,
    156156}
    157157
Note: See TracChangeset for help on using the changeset viewer.