diff options
| author | hallgren <hallgren@chalmers.se> | 2013-03-14 08:08:51 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-03-14 08:08:51 +0000 |
| commit | 66dae1fe1730d5c7ca4f88c90aa8f6279396e83b (patch) | |
| tree | d589237133c9a2fcb9873c071b5275649a5206cd | |
| parent | 07f958a9b707b9a667634a34b2f999377770fc08 (diff) | |
Update shell reference manual
| -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: |