Commit 79e8bf0f authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-25 12:52:16 by cvscast] Typo

Original author: cvscast
Date: 2003-05-25 12:52:16+00:00
parent 061863e1
...@@ -28,7 +28,7 @@ String* ]</code>, which means sequence of character strings). </li> ...@@ -28,7 +28,7 @@ String* ]</code>, which means sequence of character strings). </li>
results). This option is normally used when the CDuce interpreter is used in results). This option is normally used when the CDuce interpreter is used in
the context of batch processing. </li> the context of batch processing. </li>
<li> The option <code>-dump %%filename%%</code> allows persistence <li> The option <code>--dump %%filename%%</code> allows persistence
between several invocations of the interpreter: the current between several invocations of the interpreter: the current
environment (defined types and values) is saved to the file when the environment (defined types and values) is saved to the file when the
interpreter terminates and it is restored if the interpreter is interpreter terminates and it is restored if the interpreter is
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment