[Sml-implementers] Re: [Smlnj-dev-list] Sml-implementers digest, Vol 1 #148 - 1 msg

[David M. <db...@cs...>]

Dave,

I think you will have to apply to Mads Tofte for the source for the 
Definition.  It may be
easier to get the macro library than to get the whole source.

Dave M.


On Apr 5, 2004, at 10:06 PM, 
sml...@li... wrote:

> Send Sml-implementers mailing list submissions to
> 	sml...@li...
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	https://lists.sourceforge.net/lists/listinfo/sml-implementers
> or, via email, send a message with subject or body 'help' to
> 	sml...@li...
>
> You can reach the person managing the list at
> 	sml...@li...
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Sml-implementers digest..."
>
>
> Today's Topics:
>
>    1. Source of the Definition? (Dave Berry)
>
> --__--__--
>
> Message: 1
> Date: Mon, 05 Apr 2004 18:29:10 +0100
> To: sml...@li...
> From: Dave Berry <dav...@bt...>
> Cc: dav...@bt...
> Subject: [Sml-implementers] Source of the Definition?
>
> Please could someone give me a copy of the LaTeX source for the 
> Defintion
> of Standard ML (inc. macros) for my personal use?  I am happy to 
> undertake
> not to distribute it further.
>
> Dave.
>
>
>
>
>
> --__--__--
>
> _______________________________________________
> Sml-implementers mailing list
> Sml...@li...
> https://lists.sourceforge.net/lists/listinfo/sml-implementers
>
>
> End of Sml-implementers Digest
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by: IBM Linux Tutorials
> Free Linux tutorial presented by Daniel Robbins, President and CEO of
> GenToo technologies. Learn everything from fundamentals to system
> administration.http://ads.osdn.com/?ad_id=1470&alloc_id=3638&op=click
> _______________________________________________
> Smlnj-dev-list mailing list
> Sml...@li...
> https://lists.sourceforge.net/lists/listinfo/smlnj-dev-list
>