It seems that you can find the source code for those from the CVS. See
the bottom of the download page for Anonymous CVS:

   http://www.ps.uni-sb.de/alice/download.html

After you've checked out the CVS, look into the directory <alice>/lib/data.

-Vesa Karvonen

On Nov 15, 2007 9:06 AM, Michele Simionato <[EMAIL PROTECTED]> wrote:
> I have downloaded the source tarballs of alice-1.4 and alicerun-1.4,
> but I cannot find the source code for the Alice library,
> there are just the .alc files. For instance I wanted to look at the
> implementation of imperative maps. Is there a place where
> one can see the .aml sources? Thanks,
>
>  Michele Simionato

_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to