msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Update shell reference manual

Browse Source
This commit is contained in:
hallgren
2013-03-14 08:08:51 +00:00
parent 07f958a9b7
commit 66dae1fe17
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
doc/gf-help-full.txt
View File

@@ -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: