diff options
| author | Alasdair Armstrong | 2018-05-11 16:45:22 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-11 16:46:03 +0100 |
| commit | 10a6951c565c5da74ca5ff771ddc78b091601abb (patch) | |
| tree | 48d0e58aef1fa6567d91d01703f32f5e272a0d8a /doc/usage.tex | |
| parent | c1ffcd56c941c3850d2de82a9011b3ae9b36a6d1 (diff) | |
More work on documentation
Should have all the main language features covered in at least some
detail now.
Diffstat (limited to 'doc/usage.tex')
| -rw-r--r-- | doc/usage.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/usage.tex b/doc/usage.tex index 12095822..293d0587 100644 --- a/doc/usage.tex +++ b/doc/usage.tex @@ -21,7 +21,7 @@ definitions used in the rest of the specification and then specification. For more complex projects, once can use \ll{$include} statments in -Sail source, for example: \TODO{use \# like C} +Sail source, for example: \begin{lstlisting} $include <library.sail> $include "file.sail" |