I have updated the instructions for Debian and Ubuntu users wishing to download mozart:
http://www.mozart-oz.org/download/view.cgi?action=debian&version=1.3.2 Comments are welcome. If there is anything extra I can add for Ubuntu users then let me know, I don't use it myself. cheers k _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
