Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 2 Aug 1994 13:45:50 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA12941; Tue, 2 Aug 1994 06:27:13 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA12936; Tue, 2 Aug 1994 06:27:07 -0600 Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) by tuminfo2.informatik.tu-muenchen.de with SMTP id <326456>; Tue, 2 Aug 1994 14:23:48 +0200 Received: by sunbroy14.informatik.tu-muenchen.de id <8079>; Tue, 2 Aug 1994 14:23:34 +0200 From: Konrad Slind To: info-hol@leopard.cs.byu.edu In-Reply-To: <"swan.cl.cam.:159900:940802084948"@cl.cam.ac.uk> (message from Richard Boulton on Tue, 2 Aug 1994 10:49:34 +0200) Subject: Re: HOL90 library loading Message-Id: <94Aug2.142334met_dst.8079@sunbroy14.informatik.tu-muenchen.de> Date: Tue, 2 Aug 1994 14:23:29 +0200 Richard Boulton writes: > If you really don't like the GC messages, they can be hidden. They are > sent to std_err rather than std_out, so redirect std_err, e.g.: > > $hol90 2>/dev/null > > This does not eliminate the warnings. (I have a vague recollection that when > I've tried this redirection before it had some undesirable effect -- so > proceed with caution.) You can also set the variable System.Control.Runtime.gcmessages to 0. Also, David Shepherd writes: > On consequence of this is that on a slow machine (e.g. SparcStation 1) > its a real pain to have to load libraries - it can add 5-10 minutes to > the time it takes to restart a given HOL session ... on a SS10 it was > just about bearable. This is true! The only palliative that I can suggest is for users to load commonly used libraries and then dump the image with "save_hol". Konrad.