summaryrefslogtreecommitdiff
path: root/src-3.0/GF
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-08 19:27:20 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-08 19:27:20 +0000
commitec200fdf0b021d109edbf7f077d93e44156a31a3 (patch)
treeb9f744ac438f10fa056003dd1bc701d18b3f14e9 /src-3.0/GF
parent4268d6219ba27ab724ed938d38327b54b0adc1ed (diff)
sorting command list in Commands
Diffstat (limited to 'src-3.0/GF')
-rw-r--r--src-3.0/GF/Command/Commands.hs24
1 files changed, 12 insertions, 12 deletions
diff --git a/src-3.0/GF/Command/Commands.hs b/src-3.0/GF/Command/Commands.hs
index def2c6f70..6aa19dfba 100644
--- a/src-3.0/GF/Command/Commands.hs
+++ b/src-3.0/GF/Command/Commands.hs
@@ -79,18 +79,6 @@ allCommands pgf = Map.fromAscList [
longname = "empty",
synopsis = "Takes away all languages and resets all global flags."
}),
- ("ph", emptyCommandInfo {
- longname = "print_history",
- synopsis = "print readline history",
- explanation = "Prints the commands issued during the GF session.\n"++
- "The result is readable by the eh command.\n"++
- "example:\n"++
- " ph | wf foo.hist -- save the history into a file"
- }),
- ("q", emptyCommandInfo {
- longname = "quit",
- synopsis = "exit GF interpreter"
- }),
("gr", emptyCommandInfo {
longname = "generate_random",
synopsis = "generates a list of random trees, by default one tree",
@@ -176,6 +164,18 @@ allCommands pgf = Map.fromAscList [
"source.",
exec = \opts _ -> return $ fromString $ prGrammar opts,
flags = ["cat","lang","printer"]
+ }),
+ ("ph", emptyCommandInfo {
+ longname = "print_history",
+ synopsis = "print readline history",
+ explanation = "Prints the commands issued during the GF session.\n"++
+ "The result is readable by the eh command.\n"++
+ "example:\n"++
+ " ph | wf foo.hist -- save the history into a file"
+ }),
+ ("q", emptyCommandInfo {
+ longname = "quit",
+ synopsis = "exit GF interpreter"
})
]
where