Changeset ca0e0a9 for doc/user/user.tex


Ignore:
Timestamp:
Sep 24, 2020, 4:38:22 PM (4 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
33f3cfb
Parents:
a9f0c65
Message:

formatting

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/user/user.tex

    ra9f0c65 rca0e0a9  
    1111%% Created On       : Wed Apr  6 14:53:29 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Wed Sep 23 21:33:27 2020
    14 %% Update Count     : 3996
     13%% Last Modified On : Thu Sep 24 16:34:52 2020
     14%% Update Count     : 3997
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
     
    6666%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    6767
     68\CFADefaults                                                                                    % use default CFA format-style
     69\lstnewenvironment{C++}[1][]                            % use C++ style
     70{\lstset{language=C++,moredelim=**[is][\protect\color{red}]{®}{®},#1}}
     71{}
     72
     73\newsavebox{\myboxA}
     74\newsavebox{\myboxB}
     75
     76%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     77
    6878% Names used in the document.
    6979\newcommand{\Version}{\input{build/version}}
     
    7484\newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}}
    7585\newcommand{\KWC}{K-W C\xspace}
    76 
    77 \newsavebox{\myboxA}
    78 \newsavebox{\myboxB}
    79 
    80 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    81 
    82 \CFADefaults                                                                                    % use default CFA format-style
    83 \lstnewenvironment{C++}[1][]                            % use C++ style
    84 {\lstset{language=C++,moredelim=**[is][\protect\color{red}]{®}{®},#1}}
    85 {}
    8686
    8787%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Note: See TracChangeset for help on using the changeset viewer.