From 66dae1fe1730d5c7ca4f88c90aa8f6279396e83b Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 14 Mar 2013 08:08:51 +0000 Subject: [PATCH] Update shell reference manual --- doc/gf-help-full.txt | 3 +++ 1 file changed, 3 insertions(+) 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: