| 1 |
.\" $Header: /cvsroot/cduce/doc/cduce.1,v 1.13 2004/07/04 01:16:43 afrisch Exp $
|
| 2 |
.\"
|
| 3 |
.\" transcript compatibility for postscript use.
|
| 4 |
.\"
|
| 5 |
.\" synopsis: .P! <file.ps>
|
| 6 |
.\"
|
| 7 |
.de P!
|
| 8 |
.fl
|
| 9 |
\!!1 setgray
|
| 10 |
.fl
|
| 11 |
\\&.\"
|
| 12 |
.fl
|
| 13 |
\!!0 setgray
|
| 14 |
.fl \" force out current output buffer
|
| 15 |
\!!save /psv exch def currentpoint translate 0 0 moveto
|
| 16 |
\!!/showpage{}def
|
| 17 |
.fl \" prolog
|
| 18 |
.sy sed -e 's/^/!/' \\$1\" bring in postscript file
|
| 19 |
\!!psv restore
|
| 20 |
.
|
| 21 |
.de pF
|
| 22 |
.ie \\*(f1 .ds f1 \\n(.f
|
| 23 |
.el .ie \\*(f2 .ds f2 \\n(.f
|
| 24 |
.el .ie \\*(f3 .ds f3 \\n(.f
|
| 25 |
.el .ie \\*(f4 .ds f4 \\n(.f
|
| 26 |
.el .tm ? font overflow
|
| 27 |
.ft \\$1
|
| 28 |
..
|
| 29 |
.de fP
|
| 30 |
.ie !\\*(f4 \{\
|
| 31 |
. ft \\*(f4
|
| 32 |
. ds f4\"
|
| 33 |
' br \}
|
| 34 |
.el .ie !\\*(f3 \{\
|
| 35 |
. ft \\*(f3
|
| 36 |
. ds f3\"
|
| 37 |
' br \}
|
| 38 |
.el .ie !\\*(f2 \{\
|
| 39 |
. ft \\*(f2
|
| 40 |
. ds f2\"
|
| 41 |
' br \}
|
| 42 |
.el .ie !\\*(f1 \{\
|
| 43 |
. ft \\*(f1
|
| 44 |
. ds f1\"
|
| 45 |
' br \}
|
| 46 |
.el .tm ? font underflow
|
| 47 |
..
|
| 48 |
.ds f1\"
|
| 49 |
.ds f2\"
|
| 50 |
.ds f3\"
|
| 51 |
.ds f4\"
|
| 52 |
'\" t
|
| 53 |
.ta 8n 16n 24n 32n 40n 48n 56n 64n 72n
|
| 54 |
.TH "cduce" "1"
|
| 55 |
.SH "NAME"
|
| 56 |
cduce \(em The CDuce compiler/interpreter/toplevel
|
| 57 |
.SH "SYNOPSIS"
|
| 58 |
.PP
|
| 59 |
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB--arg \fBargument\fP\fP \&...]
|
| 60 |
.PP
|
| 61 |
\fBcduce\fR [ \fBOPTIONS\fP \&...] [\fB \fBfile.cd\fP | --stdin \fP] [\fB--arg \fBargument\fP\fP \&...]
|
| 62 |
.PP
|
| 63 |
\fBcduce --compile\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cd\fP\fP ]
|
| 64 |
.PP
|
| 65 |
\fBcduce --run\fR [ \fBOPTIONS\fP \&...] [ \fB\fBfile.cdo\fP\fP \&...] [\fB--arg \fBargument\fP\fP \&...]
|
| 66 |
.SH "Description"
|
| 67 |
.PP
|
| 68 |
See the CDuce users' manual:
|
| 69 |
|
| 70 |
\fBhttp://www.cduce.org/manual_interpreter.html\fP.
|
| 71 |
.SH "Reporting bugs"
|
| 72 |
.PP
|
| 73 |
Report bugs to devel@cduce.org.
|
| 74 |
.SH "See also"
|
| 75 |
.PP
|
| 76 |
A complete documentation, reference manual, tutorial, technical articles on
|
| 77 |
implementation and theoretical issues, benchmarks, source code, mailing lists
|
| 78 |
and forums can be found on the \fICDuce\fP website:
|
| 79 |
\fBhttp://www.cduce.org/\fP.
|
| 80 |
.SH "Authors"
|
| 81 |
.PP
|
| 82 |
Alain Frisch <Alain.Frisch@ens.fr>. Small contributions by
|
| 83 |
Giuseppe Castagna <Giuseppe.Castagna@ens.fr>, Julien Demouth <Julien.Demouth@ens.fr>, and Stefano Zacchiroli <zack@di.ens.fr>.
|
| 84 |
.\" created by instant / docbook-to-man, Sun 04 Jul 2004, 03:11
|
Parent Directory
| 
Revision Log