Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id EAA13477; Tue, 21 Nov 1995 04:21:16 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA081937981; Mon, 20 Nov 1995 18:39:41 -0700
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with ESMTP
	(1.37.109.15/16.2) id AA081827964; Mon, 20 Nov 1995 18:39:25 -0700
Received: from uu6.psi.com (uu6.psi.com [38.145.155.3]) by dworshak.cs.uidaho.edu (8.6.12/1.1) with SMTP id RAA09390 for <info-hol@cs.uidaho.edu>; Mon, 20 Nov 1995 17:39:13 -0800
Received: from va.arca.com by uu6.psi.com (5.65b/4.0.071791-PSI/PSINet) via UUCP;
        id AA19812 for ; Mon, 20 Nov 95 19:25:35 -0500
From: Steve_Brackin@va.arca.com (Steve Brackin)
To: tfm@dcs.gla.ac.uk
Cc: tfm@dcs.gla.ac.uk, lichotar@v2.hanscom.af.mil, info-hol@cs.uidaho.edu
Subject: Re: Re: Accessing UNIX environment variables 
Date: 20 Nov 1995 22:38:23 GMT
Message-Id: <1100201852.26178237@va.arca.com>
Organization: Arca Systems, Inc 

Thanks.  I'd earlier gotten the impression that it was possible to read, but
not modify, UNIX environment variables from HOL90, and gotten information
from Konrad and Richard that I haven't studied yet.  I'll study what you've
sent me, too.

Steve
----------------------------------------------------------------------
Arca Systems, Inc.                         Secure Enterprise Solutions
----------------------------------------------------------------------