.\" Please send any bug reports, improvements, comments, patches,
.\" etc. to Steve Cheng <steve@ggi-project.org>.
.TH "CDUCE" "1" "09 giugno 2003" "" ""
.TH "CDUCE" "1" "09 June 2003" "" ""
.SH NAME
cduce \- The CDuce interpreter
...
...
@@ -22,7 +17,7 @@ passed to the source file(s).
If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each \fB;;\fR. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without \fB;;\fR inbetween).
In order to allow persistence (option \fB--dump\fR, \fB--load\fR, and \fB--save\fR) to operate, you must quit the toplevel with \fBCtrl-D\fR and not \fBCtrl-C\fR.
In order to allow persistence (options \fB--dump\fR, \fB--load\fR, and \fB--save\fR) to operate, you must quit the toplevel with \fB#quit\fR toplevel directive and not with \fBCtrl-D\fR or \fBCtrl-C\fR.
@@ -39,7 +39,7 @@ If no CDuce file is given on the command line
then the interpreter uses the standard input and behaves as an interactive
toplevel. Toplevel phrases are processed after each <command>;;</command>. Mutually recursive declarations of types or functions must be contained in a single adjacent sequence of phrases (without <command>;;</command> inbetween).
In order to allow persistence (option <option>--dump</option>, <option>--load</option>, and <option>--save</option>) to operate, you must quit the toplevel with <command>Ctrl-D</command>and not<command>Ctrl-C</command>.
In order to allow persistence (options<option>--dump</option>, <option>--load</option>, and <option>--save</option>) to operate, you must quit the toplevel with <command>#quit</command>toplevel directive and not with <command>Ctrl-D</command> or<command>Ctrl-C</command>.