Ignore:
Timestamp:
Apr 24, 2019, 4:06:28 PM (6 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
39de1c5
Parents:
71a12390
Message:

thesis: add comments on CFA formalization

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/aaron_moss_PhD/phd/thesis.tex

    r71a12390 rec92b48  
    3636\newcommand{\cbstartx}{\cbcolor{red} \cbstart}
    3737\newcommand{\cbendx}{\cbend \cbcolor{blue}}
     38\newcommand{\cbstarty}{\cbcolor{green} \cbstart}
     39\newcommand{\cbendy}{\cbend \cbcolor{blue}}
    3840
    3941% Hyperlinks make it very easy to navigate an electronic document.
Note: See TracChangeset for help on using the changeset viewer.