| changeset 68 | e7519207c2b7 |
| parent 66 | d563f8ff6aa0 |
| child 75 | f2dea0465bb4 |
| 67:5fbeeac2901b | 68:e7519207c2b7 |
|---|---|
62 learn from other people's code. |
62 learn from other people's code. |
63 \end{description} |
63 \end{description} |
64 |
64 |
65 *} |
65 *} |
66 |
66 |
67 section {* Conventions *} |
|
68 |
|
69 text {* |
|
70 We use @{text "$"} to indicate a command needs to be run on the Unix-command |
|
71 line. |
|
72 *} |
|
73 |
|
67 |
74 |
68 end |
75 end |