summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2005-12-17 20:44:20 +0000
committeraarne <aarne@cs.chalmers.se>2005-12-17 20:44:20 +0000
commit14defedc653f50d11a52cecba13632688d1ec811 (patch)
tree23749f9d5f4c6d33402e9f837e105f70b2f714e5 /src/HelpFile
parentd3157ad7e7a85a78e60a5bc406ec6cc805037e06 (diff)
tutorial; mkMorpho bug fix
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile
index 880876f16..b4ebef76c 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -532,7 +532,6 @@ q, quit: q
Each of the flags can have the suffix _subs, which performs
common subexpression elimination after the main optimization.
Thus, -optimize=all_subs is the most aggressive one.
-
-optimize=share share common branches in tables
-optimize=parametrize first try parametrize then do share with the rest
-optimize=values represent tables as courses-of-values