Date: Sat, 15 Jul 2000 12:10:04 -0700 (PDT) From: Jimmy Olgeni <olgeni@uli.it> To: freebsd-ports@FreeBSD.org Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation Message-ID: <200007151910.MAA76024@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/19854; it has been noted by GNATS. From: Jimmy Olgeni <olgeni@uli.it> To: Mathias.Picker@virtual-earth.de Cc: FreeBSD-gnats-submit@FreeBSD.ORG Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation Date: Sat, 15 Jul 2000 21:07:17 +0200 (CEST) I like the idea of a separate mozart-manual port: it's useful if you have a slooow internet connection (like me). Maybe I'll give it a look over the weekend. Anyway, I'm just starting to explore mozart... nothing done yet :-) To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200007151910.MAA76024>