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 WAA05567; Mon, 20 Nov 1995 22:12:19 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA267538348; Mon, 20 Nov 1995 10:25:49 -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 AA267508342; Mon, 20 Nov 1995 10:25:42 -0700
Received: from vanuata.dcs.gla.ac.uk (vanuata.dcs.gla.ac.uk [130.209.240.50]) by dworshak.cs.uidaho.edu (8.6.12/1.1) with ESMTP id JAA06345 for <info-hol@cs.uidaho.edu>; Mon, 20 Nov 1995 09:25:20 -0800
Message-Id: <199511201725.JAA06345@dworshak.cs.uidaho.edu>
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk 
          with LOCAL SMTP (PP); Mon, 20 Nov 1995 17:15:34 +0000
To: Steve_Brackin@va.arca.com (Steve Brackin)
Cc: info-hol@cs.uidaho.edu, lichotar@v2.hanscom.af.mil, tfm@dcs.gla.ac.uk
Subject: Re: Accessing UNIX environment variables 
In-Reply-To: Your message of "07 Nov 1995 16:57:14 GMT."             <1100218366.6403244@va.arca.com> 
Date: Mon, 20 Nov 1995 17:14:28 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>


> Is it possible to access and/or modify UNIX environment variables from SML/NJ
> 0.93 and/or HOL90.7?  If so, will someone mail me a copy of the documentation
> page telling how to do it?

There seems to be a manual page on a "UnixEnv" structure that
will let you do this.  I'll email a copy of the PostScript.

Tom