Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 12 Jun 1995 16:36:02 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA063437370;
          Mon, 12 Jun 1995 08:29:30 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from tuminfo2.informatik.tu-muenchen.de by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA063347328;
          Mon, 12 Jun 1995 08:28:48 -0600
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <26468-4>;
          Mon, 12 Jun 1995 16:28:58 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8091>;
          Mon, 12 Jun 1995 16:28:41 +0200
From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: info-hol@leopard.cs.byu.edu
Subject: HOL and OS/2
Message-Id: <95Jun12.162841met_dst.8091@sunbroy14.informatik.tu-muenchen.de>
Date: Mon, 12 Jun 1995 16:28:32 +0200


Has anybody built HOL on OS/2 using the "FAT" file system? It seems that
file names in this scheme are restricted to being of the form

    XXXXXXXX.XXX, 

i.e., maximum 8 characters before a dot and at most 3 after. This is a
real drag. Does anybody know of any workarounds?

Cheers,
Konrad.