1
0
forked from GitHub/gf-core

Update shell reference manual

This commit is contained in:
hallgren
2013-03-14 08:08:51 +00:00
parent 54324d5de3
commit 86127d03d0

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: