diff options
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index 3560141c9..dcd246858 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -281,6 +281,14 @@ wt, wrap_tree: wt Fun flags: -c compute the resulting new tree to normal form +vt, visualize_tree: vt Tree + Shows the abstract syntax tree via dot and gv (via temporary files + grphtmp.dot, grphtmp.ps). + flags: + -c show categories only (no functions) + -f show functions only (no categories) + -g show as graph (sharing uses of the same function) + -- subshells es, editing_session: es |