From owner-freebsd-ports Sat Jul 15 12:10: 6 2000 Delivered-To: freebsd-ports@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21]) by hub.freebsd.org (Postfix) with ESMTP id 38D7E37B6D0 for ; Sat, 15 Jul 2000 12:10:04 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.9.3/8.9.2) id MAA76024; Sat, 15 Jul 2000 12:10:04 -0700 (PDT) (envelope-from gnats@FreeBSD.org) Date: Sat, 15 Jul 2000 12:10:04 -0700 (PDT) Message-Id: <200007151910.MAA76024@freefall.freebsd.org> To: freebsd-ports@FreeBSD.org Cc: From: Jimmy Olgeni Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation Reply-To: Jimmy Olgeni Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org The following reply was made to PR ports/19854; it has been noted by GNATS. From: Jimmy Olgeni 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