Insert OZ code in latex documentation

[Pablo Martinez Balsa]

Peter Van Roy wrote:
>
> ggutierrez at escher.puj.edu.co wrote:
>
> >  raw2tex test.raw test.tex
> >
> > but i didn't have any output.
>
> My first advice would be RTFM :-).
>
> Try the following:
>
>    raw2tex < test.raw > test.tex
>
> Make sure that . is in your path, if it isn't try:
>
>    ./raw2tex < test.raw > test.tex
>
> Peter
>
> --
> Peter Van Roy
> Département d'Ingénierie Informatique
> (Department of Computing Science and Engineering)
> Université catholique de Louvain
> B-1348 Louvain-la-Neuve, Belgium
>
> Email: pvr at info.ucl.ac.be
> Tel: (+32) (10) 47.83.74
> Web: http://www.info.ucl.ac.be/people/cvvanroy.html
> Mozart: http://www.mozart-oz.org
> -
> Please send submissions to users at mozart-oz.org
> and administriva mail to users-request at mozart-oz.org.
> The Mozart Oz web site is at http://www.mozart-oz.org/.

Hi Peter,
I think that it's also necessary to have the oz2tex.sty file to insert
the oz code in a latex document with a good indentation. Is it correct?.

I have done the following step:
        1) Write mytext.raw file
                mytext.raw:
                        \begin{ozdisplay}
                                proc {Foo} skip end
                        \end{ozdisplay}
        2) Obtain mytext.lex
           The following steps have been done:
                flex raw2tex.lex  -> to generate a lex.yy.c file
                gcc -c lex.yy.c   -> to get lex.yy.o
                gcc -o raw2tex lex.yy.o -> to get raw2tex.

        3) Write a simple latex document (index.tex)
                Index.tex:
                        \documentclass[10pt,a4paper]{report}
                        %\usepackage{oz2tex}    %(I think that it's necessary)
                        \begin{document}
                        \input{mytext}
                        \end{document}

I have find this web page:
"http://www.ps.uni-sb.de/~duchier/oz/raw2tex.html". It talks about
raw2tex preprocessor and oz2tex.sty file, but I can't download
oz2tex.sty file.

Could you say to me if I'm in the right way?
Could you say to me where I can download this file?

Thanks at advance for your answer,
        Pablo Martínez Balsa.
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.