

				HolRichText
				
1. WHAT IS IT

	ML/Lisp  code  to  convert  HOL  objects  to  a  crude
	tagged  text  format.  Also  Tcl  code to display this
	tagged text in a text widget window.
	  
		 

2. INSTALLATION

	This package produces no executables.
	
	To make the lisp extensions, try:
		make all

	This will fail if the paths in the Makefile are wrong
	or if the lisp .o files are not still available from
	your compilation of HOL88.  If this is the case you
	will need to recompile your HOL system.

	Also,  this  may well fail with other versions of lisp
	besides akcl.


3. PACKAGE DEPENDENCIES
	Popups
	TkHolSlave


