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