Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sat, 15 May 1993 18:40:48 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23575;
          Sat, 15 May 93 10:35:19 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from netcom3.netcom.com by ted.cs.uidaho.edu (16.6/1.34) id AA23570;
          Sat, 15 May 93 10:35:14 -0700
Received: by netcom3.netcom.com (5.65/SMI-4.1/Netcom) id AA21384;
          Sat, 15 May 93 10:35:55 -0700
Date: Sat, 15 May 93 10:35:55 -0700
From: val@netcom.com (Dewey Val Schorre)
Message-Id: <9305151735.AA21384@netcom3.netcom.com>
To: info-hol@ted.cs.uidaho.edu
Subject: Diagrams in Hol source on Macintosh


If you use an ordinary word processor for typing HOL souce,
instead of the EMACS style FRED editor supplies with MCL,
you can inclued a logic diagram. When you copy from a window
in your ordinary word processor and paste into the HOL
Listener window the diagram will simply be omitted, so it
acts just like a comment.