source: doc/theses/andrew_beach_MMath/cfalab.sty@ 2c052c0

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
Last change on this file since 2c052c0 was 2c052c0, checked in by Andrew Beach <ajbeach@…>, 6 years ago

First rough draft of how unwinding works in ABMM.

  • Property mode set to 100644
File size: 1.3 KB
Line 
1% Package for CFA Research Lab.
2%
3% Made by combining and updating
4
5% I don't know what the oldest LaTeX2e version with everything needed is.
6\NeedsTeXFormat{LaTeX2e}
7\ProvidesPackage{cfalab}[2020/03/09 v0.1 CFA Laboratory LaTeX Tools]
8
9% Other packages required.
10\RequirePackage{etoolbox}
11\RequirePackage{xspace}
12
13% Symbols: All symbols are zero argument robust commands with special rules
14% about the space following the c.s. token. Normally the space might be
15% re-added according to the rules of the xspace package. They may be followed
16% by a star (which the command will consume) to disable this behaviour.
17
18% \newsymbolcmd{<name>}{<expansion>}
19% Creates a symbol with <name> that has the given <expansion>. Note that
20% the name must be given as a series of letters, not as an escaped name.
21\newrobustcmd*\newsymbolcmd[2]{
22 \csdef{#1}{\cfalab@symbol{#1}}
23 \expandafter\robustify\csname #1\endcsname
24 \csdef{cfalab@symbol@#1}{#2}
25}
26\def\cfalab@symbol#1{\@ifnextchar*{\cfalab@symstar{#1}}{\cfalab@symnostar{#1}}}
27\def\cfalab@symstar#1*{\csuse{cfalab@symbol@#1}}
28\def\cfalab@symnostar#1{\csuse{cfalab@symbol@#1}\xspace}
29
30% Cforall with the forall symbol.
31\newsymbolcmd{CFA}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}}
32
33\newcommand\codeC[1]{\texttt{#1}}
34
35\endinput
Note: See TracBrowser for help on using the repository browser.