Showing
2 changed files
with
12 additions
and
10 deletions
No preview for this file type
... | @@ -56,7 +56,7 @@ | ... | @@ -56,7 +56,7 @@ |
56 | %% drawing grid | 56 | %% drawing grid |
57 | %% | 57 | %% |
58 | 58 | ||
59 | - %% \begin{textblock}{21}(0,0) | 59 | + %% \begin{textblock}{21}(0,-.2) |
60 | %% \begin{tikzpicture}[yellow!70,yscale=-1] | 60 | %% \begin{tikzpicture}[yellow!70,yscale=-1] |
61 | %% \draw[densely dotted] (0,0) grid (21,30); | 61 | %% \draw[densely dotted] (0,0) grid (21,30); |
62 | %% \foreach \x in {1,...,20} { | 62 | %% \foreach \x in {1,...,20} { |
... | @@ -72,13 +72,13 @@ | ... | @@ -72,13 +72,13 @@ |
72 | %% title & logos | 72 | %% title & logos |
73 | %% | 73 | %% |
74 | 74 | ||
75 | - \begin{textblock}{19}(1,.7) | 75 | + \begin{textblock}{19}(1,.5) |
76 | \begin{center} | 76 | \begin{center} |
77 | \Huge\textbf{ABCD cheatsheet} | 77 | \Huge\textbf{ABCD cheatsheet} |
78 | \end{center} | 78 | \end{center} |
79 | \end{textblock} | 79 | \end{textblock} |
80 | 80 | ||
81 | - \begin{textblock}{1.5}(1,27.5) | 81 | + \begin{textblock}{1.5}(1,27.3) |
82 | \begin{tikzpicture} | 82 | \begin{tikzpicture} |
83 | \node[inner sep=0pt] (snk) {\includegraphics[width=15mm]{../pix/logo-snakes}}; | 83 | \node[inner sep=0pt] (snk) {\includegraphics[width=15mm]{../pix/logo-snakes}}; |
84 | \node[anchor=west,text width=6cm] at (snk.east) | 84 | \node[anchor=west,text width=6cm] at (snk.east) |
... | @@ -99,7 +99,7 @@ | ... | @@ -99,7 +99,7 @@ |
99 | %% command line interface | 99 | %% command line interface |
100 | %% | 100 | %% |
101 | 101 | ||
102 | - \begin{textblock}{12}(1,2.7) | 102 | + \begin{textblock}{12}(1,2.5) |
103 | \advance\baselineskip by 14pt | 103 | \advance\baselineskip by 14pt |
104 | \advance\parskip by 7pt | 104 | \advance\parskip by 7pt |
105 | 105 | ||
... | @@ -126,7 +126,7 @@ | ... | @@ -126,7 +126,7 @@ |
126 | %% source structure | 126 | %% source structure |
127 | %% | 127 | %% |
128 | 128 | ||
129 | - \begin{textblock}{5}(15,2.7) | 129 | + \begin{textblock}{5}(15,2.5) |
130 | \begin{tikzpicture}[xscale=.8,yscale=-1] | 130 | \begin{tikzpicture}[xscale=.8,yscale=-1] |
131 | \node[anchor=base west] at (.2,.8) {\abcdC{a comment}}; | 131 | \node[anchor=base west] at (.2,.8) {\abcdC{a comment}}; |
132 | \node[anchor=base west] at (.2,1.3) {\abcdC{another comment}}; | 132 | \node[anchor=base west] at (.2,1.3) {\abcdC{another comment}}; |
... | @@ -143,7 +143,7 @@ | ... | @@ -143,7 +143,7 @@ |
143 | %% declarations | 143 | %% declarations |
144 | %% | 144 | %% |
145 | 145 | ||
146 | - \begin{textblock}{6}(1,11) | 146 | + \begin{textblock}{6}(1,10.8) |
147 | \textbf{buffer declarations:} | 147 | \textbf{buffer declarations:} |
148 | 148 | ||
149 | \abcdK{buffer} \NT{name}\abcdK{:} \NT{type} \abcdK{= ()}\\ | 149 | \abcdK{buffer} \NT{name}\abcdK{:} \NT{type} \abcdK{= ()}\\ |
... | @@ -203,7 +203,7 @@ | ... | @@ -203,7 +203,7 @@ |
203 | %% atomic actions | 203 | %% atomic actions |
204 | %% | 204 | %% |
205 | 205 | ||
206 | - \begin{textblock}{6}(14,9.9) | 206 | + \begin{textblock}{6}(14,9.7) |
207 | \textbf{atomic actions:} | 207 | \textbf{atomic actions:} |
208 | 208 | ||
209 | \abcdA{\abcdR{True}}\\ | 209 | \abcdA{\abcdR{True}}\\ |
... | @@ -262,7 +262,7 @@ | ... | @@ -262,7 +262,7 @@ |
262 | %% control flow | 262 | %% control flow |
263 | %% | 263 | %% |
264 | 264 | ||
265 | - \begin{textblock}{5}(8,11.7) | 265 | + \begin{textblock}{5}(8,11.5) |
266 | \textbf{control flow:} | 266 | \textbf{control flow:} |
267 | 267 | ||
268 | \NT{process} \abcdK{;} \NT{process}\\ | 268 | \NT{process} \abcdK{;} \NT{process}\\ |
... | @@ -309,10 +309,12 @@ | ... | @@ -309,10 +309,12 @@ |
309 | \vspace*{5pt} | 309 | \vspace*{5pt} |
310 | \textbf{sub-process parameters:} | 310 | \textbf{sub-process parameters:} |
311 | 311 | ||
312 | + \minor{a comma-separated list of:} | ||
313 | + | ||
312 | \NT{name}\\ | 314 | \NT{name}\\ |
313 | \* a value is expected | 315 | \* a value is expected |
314 | 316 | ||
315 | - \NT{name}\abcdK{: buffer}\\ | 317 | + \NT{name}\abcdK{:} \abcdK{buffer}\\ |
316 | \* a buffer name is expected | 318 | \* a buffer name is expected |
317 | 319 | ||
318 | \end{textblock} | 320 | \end{textblock} |
... | @@ -321,7 +323,7 @@ | ... | @@ -321,7 +323,7 @@ |
321 | %% guide lines | 323 | %% guide lines |
322 | %% | 324 | %% |
323 | 325 | ||
324 | - \begin{textblock}{21}(0,-.3) | 326 | + \begin{textblock}{21}(0,-.5) |
325 | \begin{tikzpicture}[overlay,remember picture,yscale=-1] | 327 | \begin{tikzpicture}[overlay,remember picture,yscale=-1] |
326 | \draw[guide,->] (3.6,3.8) -- +(0,.7); | 328 | \draw[guide,->] (3.6,3.8) -- +(0,.7); |
327 | \draw[guide,->] (6.7,3.8) |- +(8.35,.6); | 329 | \draw[guide,->] (6.7,3.8) |- +(8.35,.6); | ... | ... |
-
Please register or login to post a comment