diff options
| author | Alasdair Armstrong | 2018-04-04 17:38:19 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-05 18:40:36 +0100 |
| commit | 9c9e2dc78c44823b271252b88d5d96f4c5a2b6ae (patch) | |
| tree | 61d5322b045fd3a5c2072026ee08a123961154d3 /src/initial_check.mli | |
| parent | 09fca718c6e850a3a94db399fd1744dc537bbe41 (diff) | |
More work on latex output
Now generate commands for each toplevel definition, such that e.g. the
function clause for execute LOAD could be inserted using
\sailexecuteLOAD. Tries to generate fairly intuitive names while
avoiding clashes where possible.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions