TkHolWorkbench Future Work:

Improvements - Infrastructure

	- ML calls to Tcl should be synchronous.  One process would be
	much better.
	
Improvements - RichText
	- Make interface maps editable
	- Implement richtext term entry

Long term goals - Script Handling
	- Multiple active theories (needs changes to HOL)
	- Better integration with emacs as edit buffers.
	
Packages which need to be implemented:
	ForwardProof
	NewType
	PrimRef (definition package)
	NewAxiom
	MutRec (mutually recursive types - based on Elsa's package)


