diff options
| -rw-r--r-- | doc/gf-help-full.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/gf-help-full.txt b/doc/gf-help-full.txt index cbd6bc068..156d3d71f 100644 --- a/doc/gf-help-full.txt +++ b/doc/gf-help-full.txt @@ -754,7 +754,10 @@ are type checking and semantic computation. | ``-compute`` | compute by using semantic definitions (def) | ``-paraphrase`` | paraphrase by using semantic definitions (def) + | ``-largest`` | sort trees from largest to smallest, in number of nodes + | ``-nub`` | remove duplicate trees | ``-smallest`` | sort trees from smallest to largest, in number of nodes + | ``-subtrees`` | return all fully applied subtrees (stopping at abstractions), by default sorted from the largest - Flags: |