diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-06-01 08:16:21 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-06-01 08:16:21 +0000 |
| commit | 34ca8208ac9ca06b2a5c1005cfab860e5697071d (patch) | |
| tree | 358f24aabee51874d5df7dcb956722b6a1a070f6 /src/HelpFile | |
| parent | 5e665fa2ac63ee0739f787cc2fb7744d40721b7a (diff) | |
reload = r command
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index df2a643d2..9a501c7c7 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -52,6 +52,9 @@ i, import: i File examples: i English.gf -- ordinary import of Concrete i -retain german/ParadigmsGer.gf -- import of Resource to test + +r, reload: r + Executes the previous import (i) command. rl, remove_language: rl Language Takes away the language from the state. |