ADT
        aaron-thesis
        arm-eh
        ast-experimental
        cleanup-dtors
        deferred_resn
        demangler
        enum
        forall-pointer-decay
        jacob/cs343-translation
        jenkins-sandbox
        new-ast
        new-ast-unique-expr
        new-env
        no_list
        persistent-indexer
        pthread-emulation
        qualifiedEnum
        resolv-new
        with_gc
      
      
        
          | 
            Last change
 on this file since 826a67c was             604e76d, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago           | 
        
        
          | 
             
initial setup for general and concurrency papers 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100644
               
             
           | 
        
        
          | 
            File size:
            561 bytes
           | 
        
      
      
| Line |   | 
|---|
| 1 | \input{common}                                          % bespoke macros used in the document
 | 
|---|
| 2 | \input{cfa-format}
 | 
|---|
| 3 | 
 | 
|---|
| 4 | % \CFADefaultStyle
 | 
|---|
| 5 | 
 | 
|---|
| 6 | % \lstset{
 | 
|---|
| 7 | % morekeywords=[2]{nomutex,mutex,thread,wait,wait_release,signal,signal_block,accept,monitor,suspend,resume,coroutine},
 | 
|---|
| 8 | % keywordstyle=[2]\color{blue},                         % second set of keywords for concurency
 | 
|---|
| 9 | % basicstyle=\linespread{0.9}\tt\small,         % reduce line spacing and use typewriter font
 | 
|---|
| 10 | % stringstyle=\sf\color{Mahogany},                      % use sanserif font
 | 
|---|
| 11 | % commentstyle=\itshape\color{OliveGreen},              % green and italic comments
 | 
|---|
| 12 | % }%
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.