diff options
| author | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
| commit | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (patch) | |
| tree | 8691f24c809b10b047f552690576bb9a6ace9c7c /src/GF/Shell/PShell.hs | |
| parent | 487571a685382922f04985995d0f8779284bdc8d (diff) | |
gt Term
Diffstat (limited to 'src/GF/Shell/PShell.hs')
| -rw-r--r-- | src/GF/Shell/PShell.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs index befdb8ea2..7a7f1e702 100644 --- a/src/GF/Shell/PShell.hs +++ b/src/GF/Shell/PShell.hs @@ -73,6 +73,7 @@ pCommand ws = case ws of "gr" : [] -> aUnit CGenerateRandom "gr" : t -> aTerm CGenerateRandom t "gt" : [] -> aUnit CGenerateTrees + "gt" : t -> aTerm CGenerateTrees t "pt" : s -> aTerm CPutTerm s ----- "wt" : f : s -> aTerm (CWrapTerm (string2id f)) s "ma" : s -> aString CMorphoAnalyse s |