Re: Documentation?
Matthew Fluet <[email protected]> Wed, 19 Sep 2018 15:45:13 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <CAMrhFL4NhyJyjLqQHBx8SCFpPQTzTE5PEeHqmCgtNs=gU6rZdw@mail.gmail.com> |
--===============7537449064808791458== Content-Type: multipart/alternative; boundary="000000000000cbd91805763ea537" --000000000000cbd91805763ea537 Content-Type: text/plain; charset="UTF-8" I guess it depends on your distribution's packaging, but there should be a mlton-guide.pdf along side the mllex.pdf and mlyacc.pdf files; it is a conversion of the mlton.org website into a pdf. There should also be /usr/share/doc/mlton/guide/Index, which is a static, local version of the mlton.org website. -Matthew On Wed, Sep 19, 2018 at 2:49 PM Jean-Luc Delatre <[email protected]> wrote: > Hi, > > I cannot find any documentation in PDF beside a few bits (MLLex, MLYacc, > MLNLFFIGen) > Is there any other? > My development machine is off the net so I cannot consult online. > > Thanks in advance, > > jld > > -- > You received this message because you are subscribed to the Google Groups > "MLton-user" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > > > > _______________________________________________ > MLton-user mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-user > -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. --000000000000cbd91805763ea537 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:courier = new,monospace;font-size:large">I guess it depends on your distribution'= s packaging, but there should be a mlton-guide.pdf along side the mllex.pdf= and mlyacc.pdf files; it is a conversion of the <a href=3D"http://mlton.or= g">mlton.org</a> website into a pdf.=C2=A0 There should also be /usr/share/= doc/mlton/guide/Index, which is a static, local version of the <a href=3D"h= ttp://mlton.org">mlton.org</a> website.</div><div class=3D"gmail_default" s= tyle=3D"font-family:courier new,monospace;font-size:large"><br></div><div c= lass=3D"gmail_default" style=3D"font-family:courier new,monospace;font-size= :large">-Matthew</div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr"= >On Wed, Sep 19, 2018 at 2:49 PM Jean-Luc Delatre <<a href=3D"mailto:jld= @kevembuangga.com">[email protected]</a>> wrote:<br></div><blockquote= class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc soli= d;padding-left:1ex">Hi,<br> <br> I cannot find any documentation in PDF beside a few bits (MLLex, MLYacc, ML= NLFFIGen)<br> Is there any other?<br> My development machine is off the net so I cannot consult online.<br> <br> Thanks in advance,<br> <br> jld<br> <br> -- <br> You received this message because you are subscribed to the Google Groups &= quot;MLton-user" group.<br> To unsubscribe from this group and stop receiving emails from it, send an e= mail to <a href=3D"mailto:mlton-user%[email protected]" target=3D"_bl= ank">[email protected]</a>.<br> <br> <br> <br> _______________________________________________<br> MLton-user mailing list<br> <a href=3D"mailto:[email protected]" target=3D"_blank">MLton= [email protected]</a>; <a href=3D"mailto:[email protected]" ta= rget=3D"_blank">[email protected]</a><br> <a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-user" rel=3D"= noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo/= mlton-user</a><br> </blockquote></div> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups &= quot;MLton-user" group.<br /> To unsubscribe from this group and stop receiving emails from it, send an e= mail to <a href=3D"mailto:[email protected]">mlton-user+unsu= [email protected]</a>.<br /> --000000000000cbd91805763ea537-- --===============7537449064808791458== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============7537449064808791458== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ MLton-user mailing list [email protected]; [email protected] https://lists.sourceforge.net/lists/listinfo/mlton-user --===============7537449064808791458==--