Changeset 3f0c6a5 for doc/LaTeXmacros


Ignore:
Timestamp:
Oct 28, 2016, 1:40:31 PM (9 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
066d77a
Parents:
77971f6 (diff), 47a8d17 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' into tuples

Conflicts:

src/Parser/parser.cc
src/Parser/parser.yy

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/LaTeXmacros/common.tex

    r77971f6 r3f0c6a5  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Sun Aug 14 08:27:29 2016
    14 %% Update Count     : 231
     13%% Last Modified On : Tue Oct 25 22:04:19 2016
     14%% Update Count     : 234
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
     
    4141\newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
    4242\newcommand{\Celeven}{C11\xspace}               % C11 symbolic name
    43 \newcommand{\Csharp}{\rm C\hbox{\#}\xspace} % C# symbolic name
    44 
     43\newcommand{\Csharp}{C\raisebox{0.4ex}{\#}\xspace}      % C# symbolic name
    4544
    4645%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     
    126125\newcommand{\@sIndex}[2][\@empty]{#2\ifx#1\@empty\index{#2}\else\index{#1@{\protect#2}}\fi}
    127126
    128 % inline text and code index (cannot use �)
     127% inline text and code index (cannot use ©)
    129128\newcommand{\Indexc}[1]{\lstinline$#1$\index{#1@\lstinline$#1$}}
    130 % code index (cannot use �)
     129% code index (cannot use ©)
    131130\newcommand{\indexc}[1]{\index{#1@\lstinline$#1$}}
    132131
     
    266265% CFA programming language, based on ANSI C (with some gcc additions)
    267266\lstdefinelanguage{CFA}[ANSI]{C}{
    268         morekeywords=[1]{_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto,
     267        morekeywords={_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto,
    269268                _Bool,catch,catchResume,choose,_Complex,__complex,__complex__,__const,__const__,disable,dtype,enable,__extension__,
    270269                fallthrough,fallthru,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,otype,restrict,_Static_assert,
    271270                _Thread_local,throw,throwResume,trait,try,typeof,__typeof,__typeof__,},
    272         morekeywords=[2]{mutex,nomutex,thread,wait,signal,accept,monitor}
    273271}%
    274272
     
    276274language=CFA,
    277275columns=fullflexible,
    278 basicstyle=\linespread{0.9}\tt\small,           % reduce line spacing and use typewriter font
    279 keywordstyle=[2]\color{blue},                           % second set of keywords for concurency
    280 stringstyle=\sf\color{Mahogany},                        % use sanserif font
    281 commentstyle=\itshape\color{OliveGreen},                % green and italic comments
    282 tabsize=4,                                                      % 4 space tabbing
     276basicstyle=\linespread{0.9}\sf,                 % reduce line spacing and use sanserif font
     277stringstyle=\tt,                                                % use typewriter font
     278tabsize=4,                                                              % 4 space tabbing
    283279xleftmargin=\parindentlnth,                             % indent code to paragraph indentation
    284 extendedchars=true,                                     % allow ASCII characters in the range 128-255
    285 escapechar=§,                                           % escape to latex in CFA code
     280extendedchars=true,                                             % allow ASCII characters in the range 128-255
     281escapechar=§,                                                   % escape to latex in CFA code
    286282mathescape=true,                                                % allow $...$ LaTeX math escapes in code
    287 %keepspaces=true,                                               %
     283%keepspaces=true,                                               % 
    288284showstringspaces=false,                                 % do not show spaces with cup
    289 showlines=true,                                         % show blank lines at end of code
    290 aboveskip=4pt,                                          % spacing above/below code block
     285showlines=true,                                                 % show blank lines at end of code
     286aboveskip=4pt,                                                  % spacing above/below code block
    291287belowskip=3pt,
    292288moredelim=**[is][\color{red}]{®}{®},    % red highlighting
     
    295291moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % temporarily turn off keywords
    296292% replace/adjust listing characters that look bad in sanserif
    297 literate={-}{\raisebox{-0.15ex}{\texttt{-}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1 {©}{{\"u}}1
     293literate={-}{\raisebox{-0.15ex}{\texttt{-}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
    298294        {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {_}{\makebox[1.2ex][c]{\rule{1ex}{0.1ex}}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
    299295        {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2,
Note: See TracChangeset for help on using the changeset viewer.